N
[Nic08] Dejan Nickovic. Checking Timed and Hybrid Properties: Theory and Applications. PhD thesis, Lab. VERIMAG, Grenoble, France, October 2008. 
@phdthesis{phd-nickovic,
  author =              {Nickovic, Dejan},
  title =               {Checking Timed and Hybrid Properties: Theory and
                         Applications},
  year =                {2008},
  month =               oct,
  school =              {Lab. VERIMAG, Grenoble, France},
}
List of authors