Designing UML Models With UMC
proceedings IFM+ABNZ 2012 Posters &Toolsdemo Session
Deadlock Avoidance in Train Scheduling
UMC-UG33