Doron Drusinsky Man-tak Shing Kadir Alpaslan Demir Creation and Validation of Embedded Assertion Statecharts. 17-23 2006 conf/rsp/2006 IEEE International Workshop on Rapid System Prototyping http://doi.ieeecomputersociety.org/10.1109/RSP.2006.12 db/conf/rsp/rsp2006.html#DrusinskySD06