Reusable Input/Output Packages for Ada Avionic Applications. - Alfred Rosskopf (Ada-Europe, 1991)

Use of a Static Analysis Tool for Safety-Critical Ada Applications: A Critical Assessment. - Alfred Rosskopf (Ada-Europe, 1996)

Development of Flight Control Software in Ada: Architecture and Design Issues and Approaches. - Alfred Rosskopf (Ada-Europe, 1999)

DataFAN: A Practical Approach to Data Flow Analysis for Ada 95. - Krzysztof Czarnecki 001; Michael Himsolt; Ernst Richter; Falk Vieweg; Alfred Rosskopf (Ada-Europe, 2002)