MASCOT

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.