Peter Amey Roderick Chapman Neil White Smart Certification of Mixed Criticality Systems. 144-155 2005 conf/adaEurope/2005 Ada-Europe http://dx.doi.org/10.1007/11499909_12 db/conf/adaEurope/adaEurope2005.html#AmeyCW05