R. Kumar and E. Mercer, “Improving Live Sequence Chart to Automata Transformation for Verification”, eceasst, vol. 10, Jun. 2008.