@Inproceedings{EPTCS147.10, author = {Brasil Rebelo dos Santos, Luciana and Alexandre de Santiago, J\'unior, Valdivino and Lankalapalli Vijaykumar, Nandamudi}, year = {2014}, title = {Transformation of UML Behavioral Diagrams to Support Software Model Checking}, editor = {Buhnova, Bara and Happe, Lucia and Kofro\v{n}, Jan}, booktitle = {{\rm Proceedings 11th International Workshop on} Formal Engineering approaches to Software Components and Architectures, {\rm Grenoble, France, 12th April 2014}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {147}, publisher = {Open Publishing Association}, pages = {133-142}, doi = {10.4204/EPTCS.147.10}, }