Ricardo J. Rodríguez, Lars-Åke Fredlund, Ángel Herranz-Nieva, Julio Mariño: Execution and Verification of UML State Machines with Erlang. SEFM 2014: 284-289