João Araújo 0001, Ana Moreira 0001. Integrating UML Activity Diagrams with Temporal Logic Expressions. In Terry A. Halpin, Keng Siau, John Krogstie, editors, Proceedings of the 10th International Workshop on Exploring Modeling Methods for Systems Analysis and Design, EMMSAD 2005, held in conjunction with the 17th Conference on Advanced Information Systems (CAiSE 2005), Porto, Portugal, 13-14 June, 2005. Volume 363 of CEUR Workshop Proceedings, pages 91-98, CEUR-WS.org, 2005. [doi]