H
[Hun01] Thomas Hune. Analyzing real-time systems: theory and tools. PhD thesis, University of Aarhus, Denmark, 2001. 
@phdthesis{phd-hune,
  author =              {Hune, Thomas},
  title =               {Analyzing real-time systems: theory and tools},
  year =                {2001},
  school =              {University of Aarhus, Denmark},
}
List of authors