Detecting Design Flaws in UML State Charts for Embedded Software. - Janees Elamkulam; Ziv Glazberg; Ishai Rabinovitz; Gururaja Kowlali; Satish Chandra Gupta; Sandeep Kohli; Sai Dattathrani; Claudio Paniagua Macia (Haifa Verification Conference, 2006)