The Object Constraint Language : Getting Your Models Ready for MDA - Warmer, Jos; Kleppe, Anneke (Addison-Wesley, 2003)