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