Text this: Embedded software development for safety-critical systems