@InProceedings{Eshuis:2001:FASE, author = "Rik Eshuis and Roel Wieringa", title = "A Real-Time Execution Semantics for {UML} Activity Diagrams", pages = "76--90", booktitle = "Fundamental Approaches to Software Engineering, 4th International Conference, FASE 2001, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001, Proceedings", editor = "Heinrich Hussmann", publisher = "Springer", series = "LNCS", volume = "2029", year = "2001", }