Jason D. Lee Praveen Bhojwani Rabi N. Mahapatra A Safety Analysis Framework for COTS Microprocessors in Safety-Critical Applications. 407-408 2007 conf/hase/2007 HASE https://doi.org/10.1109/HASE.2007.66 https://doi.ieeecomputersociety.org/10.1109/HASE.2007.66 db/conf/hase/hase2007.html#LeeBM07