An executable formal semantics for UML-RT

Ernesto Posse, Juergen Dingel. An executable formal semantics for UML-RT. Software and Systems Modeling, 15(1):179-217, 2016. [doi]

Abstract

Abstract is missing.