Kumar, Rahul, and Eric Mercer. “Improving Live Sequence Chart to Automata Transformation for Verification”. Electronic Communications of the EASST, vol. 10, June 2008, doi:10.14279/tuj.eceasst.10.151.