Caires, Luis and Torres Vieira, Hugo SLMC: a tool for model checking concurrent systems against dynamical spatial logic specifications. In: Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science (7214). Springer, pp. 485-491. ISBN 978-3-642-28756-5 (2012)