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