@PHDTHESIS{DAr99,
AUTHOR = "P.R. D{'A}rgenio",
TITLE = "Algebras and Automata for Timed and Stochastic Systems", 
YEAR = "1999",
MONTH = "November",
SCHOOL = "University of Twente",
TYPE = "{IPA Dissertation Series} 1999-10, {CTIT PhD-Thesis Series} 99-25"
}