Modular Approach to Software Construction Operation and Test:

a method for software design aimed at real-time embedded

systems from the Royal Signals and Research Establishment, UK.