"System Requirements and Analysis Issues for High Assurance Systems."

Gary Johnson et al. (1998)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics