Safety-critical software (IEEE Computer Society, 2013)