@phdthesis{Nic08,
title = {Checking Timed and Hybrid Properties: Theory and Applications },
author = {Nickovic, Dejan},
year = {2008},
school = {University Joseph Fourier},
team = {TEMPO},
}