Bernd Westphal Tobe Toben The Good, the Bad and the Ugly: Well-Formedness of Live Sequence Charts. 230-246 2006 conf/fase/2006 FASE http://dx.doi.org/10.1007/11693017_18 db/conf/fase/fase2006.html#WestphalT06