Laurent, et al.. Executing and Debugging UML Models. ACM Press, 2013, doi:10.1145/2480362.2480569.