Marwa Shousha Lionel C. Briand Yvan Labiche A UML/SPT Model Analysis Methodology for Concurrent Systems Based on Genetic Algorithms. 475-489 2008 MoDELS http://dx.doi.org/10.1007/978-3-540-87875-9_34 conf/models/2008 db/conf/models/models2008.html#ShoushaBL08