Elevator Case Study 2.0 Models in Text and PDF
How to Build Articulate Class Models
Time and Synchronization in Executable UML
