@misc{9582, author = {Marwa Shousha and Lionel Briand and Yvan Labiche}, title = {A UML/SPT Model Analysis Methodology for Concurrent Systems Based on Genetic Algorithms}, year = {2008}, journal = {ACM/IEEE 11th International Conference in Model Driven Engineering Languages and Systems (MODELS 2008)}, }