Jochen Klose Tobe Toben Bernd Westphal Hartmut Wittke Check It Out: On the Efficient Formal Verification of Live Sequence Charts. 219-233 2006 conf/cav/2006 CAV http://dx.doi.org/10.1007/11817963_22 db/conf/cav/cav2006.html#KloseTWW06