Tschaikowski, Max and Tribastone, Mirco  Generalised communication for interacting agents.   In:  Proceedings of the 9th International Conference on Quantitative Evaluation of Systems (QEST).   IEEE, pp. 178-188.  ISBN 978-0-7695-4781-7       (2012)