Baltazar, P., L. Caires, V. T. Vasconcelos, and H. Torres Vieira, Dynamic Roles in Multiparty Communicating Systems, : UNL-DI-1–2012, Universidade Nova de Lisboa, 2012.
Caires, L., and H. Torres Vieira, "SLMC: a tool for model checking concurrent systems against dynamical spatial logic specifications", Tools and Algorithms for the Construction and Analysis of Systems: Springer Berlin Heidelberg, pp. 485–491, 2012.