"Finite State History Modeling and Its Precise UML-Based Semantics."

Dirk Draheim, Gerald Weber, Christof Lutteroth (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics