Model driven architecture with executable UML - Raistrick (Cambridge University Press, 2004)