Kuehne, T. A Visual Notation for Declarative Behaviour Specification. ECEASST 2011, 42.