Colm Bhandal, Mélanie Bouroche, Arthur Hughes. An Abstract Model of a Coordination Protocol Using the UPPAAL Model Checker. In IEEE/IFIP 9th International Conference on Embedded and Ubiquitous Computing, EUC 2011, Melbourne, Australia, October 24-26, 2011. pages 306-311, IEEE, 2011. [doi]
Abstract is missing.