T. Kuehne, “A Visual Notation for Declarative Behaviour Specification”, ECEASST, vol. 42, Dec. 2011.