Colin F. Snook Michael J. Butler UML-B: Formal modeling and design aided by UML. 92-122 2006 15 ACM Trans. Softw. Eng. Methodol. 1 http://doi.acm.org/10.1145/1125808.1125811 db/journals/tosem/tosem15.html#SnookB06