UML-Checker: An Approach for Verifying UML Behavioral Diagrams. - Flávio Fernandes; Mark A. J. Song (J. Softw., 2014)