Kumar Madhukar, Ravindra Metta, Ulka Shrotri, R. Venkatesh. Trace based reachability verification for statecharts. In 1st FME Workshop on Formal Methods in Software Engineering, FormaliSE 2013, San Francisco, CA, USA, May 25, 2013. pages 22-28, IEEE Computer Society, 2013. [doi]
Abstract is missing.