Kuehne, T. (2011) “A Visual Notation for Declarative Behaviour Specification”, Electronic Communications of the EASST, 42. doi: 10.14279/tuj.eceasst.42.605.