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