Embedded software development for safety-critical systems. (2017)