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.       Green open access