Lomuscio, A.; Raimondi, F.; Wozna, B.; (2006) Verification of the TESLA protocol in MCMAS-X. In: Lindemann, G. and Schlingloff, H., (eds.) Proceedings of Concurrency, Specification and Programming (CS&P) 2006. (pp. pp. 255-267). Humboldt University Press: Wandlitz, Germany.