Rahul Kumar Eric G. Mercer Improving Live Sequence Chart to Automata Transformation for Verification. 2008 10 ECEASST http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/151 db/journals/eceasst/eceasst10.html#KumarM08