Vandin, Andrea  Towards the specification and verification of modal properties for structured systems.   In:  Graph Transformations.   Lecture Notes in Computer Science  (7562).  Springer, pp. 423-425.  ISBN 978-3-642-33654-6      (2013)