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)