Thom, L.; Iochpe, C.; Reichert, M.; Weber, B.; Matthias, D.; Nascimento, G.; Chiao, C. On the Support of Activity Patterns in ProWAP: Case Studies, Formal Semantics, Tool Support. iSys 2008, 1.