This paper describes a formal framework for expressing the semantics of UML augmented with real-time constructs. The approach is based on a two-dimensional temporal logic to independently capture control-flow as well as time-flow. The goal is to provide a simple, intuitive, and validatable semantics that can be used for further formal analysis.
['Subash Shankar']
A Semantic Model of Real-Time UML