Johan Lilius Ivan Porres Kim Sandström Dragos Truscan SystemC-based Simulation of the MICAS Architecture. 122-127 2007 FDL http://www.ecsi-association.org/ecsi/main.asp?l1=library&fn=def&id=245 conf/fdl/2007 db/conf/fdl/fdl2007.html#LiliusPST07