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. In Eyal Bin, Avi Ziv, Shmuel Ur, editors, Hardware and Software, Verification and Testing, Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers. Volume 4383 of Lecture Notes in Computer Science, pages 109-121, Springer, 2006. [doi]
Abstract is missing.