Includes supplementary material: sn.pub/extras
Hubertus B. Keller
Ada Ada 95 Ada-programming Compiler Java Unified Modeling Language (UML) dependable systems embedded systems object oriented design program analysis programming real-time risk management safety-critical systems software architecture