Aravindh Anantaraman Kiran Seth Kaustubh Patil Eric Rotenberg Frank Mueller Virtual Simple Architecture (VISA): Exceeding the Complexity Limit in Safe Real-Time Systems. 350-361 2003 conf/isca/2003 ISCA http://computer.org/proceedings/isca/1945/19450350abs.htm db/conf/isca/isca2003.html#AnantaramanSPRM03