Fault-tolerant software: motivation und capabilities
A requirements engineering methodology for real-time processing requirements
Probleme der Guetesicherung von EDV-Software (SW)
Computer-aided fault analysis - today, tomorrow, or never?
Characteristics of managing real time software development for military systems
MUST - an integrated system of support tools for research flight software engineering
427M: a contractor's view of lessons learned
The versatility of JOVIAL J 73 in avionics systems
The SIGMA experience - A study in the evolutionary design of a large software system
Software modularity and its impact on flexibility in military systems
Conf. digest, 1979 IEEE engng. management conf., Arlington, Virginia, Nov. 5-7, 1979
Software applications as demonstrated in the P-3C avionics system