Janees Elamkulam Ziv Glazberg Ishai Rabinovitz Gururaja Kowlali Satish Chandra Gupta Sandeep Kohli Sai Dattathrani Claudio Paniagua Macia Detecting Design Flaws in UML State Charts for Embedded Software. 109-121 2006 conf/hvc/2006 Haifa Verification Conference http://dx.doi.org/10.1007/978-3-540-70889-6_8 db/conf/hvc/hvc2006.html#ElamkulamGRKGKDM06