Xiaoqing Peng Huibiao Zhu Jifeng He Naiyong Jin An Operational Semantics of an Event-Driven System-Level Simulator. 190-202 2006 conf/sew/2006 SEW http://doi.ieeecomputersociety.org/10.1109/SEW.2006.10 db/conf/sew/sew2006.html#PengZHJ06