Michael Kersten Wolfgang Nebel On Detecting Deadlocks in Large UML Models. 11-20 2004 conf/ifip10-3/2004dipes DIPES db/conf/ifip10-3/dipes2004.html#KerstenN04