Automatic Model Transformation from UML Sequence Diagrams to Coloured Petri Nets. - João António Custódio Soares; Bruno Lima; João Pascoal Faria (MODELSWARD, 2018)