Verification of the application of coding rules for Ada to enhance portability of real-time applications. - Peter E. Obermayer; Joachim Schröer; R. A. Peek; N. Collienne; Achilles Klimek; Rudolf Landwehr (WADAS, 1994)