Swapan Bhattacharyya Joydeep Bhattacharyya Adrish Ray Chaudhuri ASET: A Formal Model for System Emulation and Verification. 21-28 2004 conf/rsp/2004 IEEE International Workshop on Rapid System Prototyping http://doi.ieeecomputersociety.org/10.1109/RSP.2004.11 db/conf/rsp/rsp2004.html#BhattacharyyaBC04