Kumar, R.; Mercer, E. Improving Live Sequence Chart to Automata Transformation for Verification. ECEASST 2008, 10.