Verification of the TESLA protocol in MCMAS-X - Lomuscio,A; Raimondi,F; wozna,B (IOS PRESS, 2007)