BibTex format
@article{Edalat:2007,
author = {Edalat, A and Pattinson, D},
journal = {Journal of Logic and Algebraic Programming},
pages = {3--21},
title = {Denotational semantics of hybrid automata},
url = {http://www.doc.ic.ac.uk/~dirk/},
volume = {73},
year = {2007}
}