Certification-based development of critical systems. - Panayiotis Steele (ICSE, 2012)

Analysis of Critical Systems Certification. - Panayiotis Steele; John Knight (HASE, 2014)