Execution and Verification of UML State Machines with Erlang | Publicación