Towards Explicit Behavioral Consistency Concepts in the UML
J. Küster, J. Stehr, in: Proceedings of 2nd ICSE Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (Portland, USA), 2003.