Patrice Gagnon Farid Mokhati Mourad Badri Applying Model Checking to Concurrent UML Models. 59-84 2008 7 Journal of Object Technology 1 http://dx.doi.org/10.5381/jot.2008.7.1.a1 db/journals/jot/jot7.html#GagnonMB08