Alexander Knapp Jochen Wuttke Model Checking of UML 2.0 Interactions. 42-51 2006 conf/models/2006w MoDELS Workshops http://dx.doi.org/10.1007/978-3-540-69489-2_6 db/conf/models/models2006w.html#KnappW06