"Smart Certification of Mixed Criticality Systems."

Peter Amey, Roderick Chapman, Neil White (2005)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics