"The Development and Verification of Safety Critical Software."

George Romanski (1999)
a service of Schloss Dagstuhl - Leibniz Center for Informatics