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