L. Thom, “On the Support of Activity Patterns in ProWAP: Case Studies, Formal Semantics, Tool Support”, iSys, vol. 1, nº 1, nov. 2008.