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