Raymond A. Paul I-Ling Yen Farokh B. Bastani Jing Dong Wei-Tek Tsai Krishna Kavi Arif Ghafoor Jaideep Srivastava An Ontology-Based Integrated Assessment Framework for High-Assurance Systems. 386-393 2008 ICSC http://doi.ieeecomputersociety.org/10.1109/ICSC.2008.46 conf/semco/2008 db/conf/semco/icsc2008.html#PaulYBDTKGS08