Text this: Rapid prototyping of software for avionics systems :