G.__Reggio
A CASL Formal Definition of UML Active Classes and Associated State Machines
An Algebraic Semantics of UML Supporting its Multiview Approach
Analysing UML Active Classes and Associated State Machines -- A Lightweight Formal Approach