Model checking UML state machines and collaborations. - Timm Schäfer; Alexander Knapp; Stephan Merz (Workshop on Software Model Checking @ CAV, 2001)