A Specification Language for Reliable Real-time Systems

For the development of correct programs, methods and languages based on formal theories are becoming increasingly popular. Though it must be admitted that hardly a system of some serious size has ever been result of completely formal development or subject to watertight formal verification, formal methods have proved valuable in practice: They provide immense guidance during the development and verification process to those programmers who know and understand them, and this guidance is of importance--not the continuous but blind application of formalisms.