Open modeling with UML - Brian Henderson-Sellers and Bhuvan Unhelkar (Addison-Wesley, Harlow, 2000)