@inproceedings{HK97,
	author	    =   "T.A. Henzinger and O. Kupferman",
        title       =   "From quantity to quality",
        booktitle   =   "Proc. 1st International Workshop on Hybrid
                         and Real-Time Systems",	 
        address     =   "Grenoble",
        series	    =   "Lecture Notes in Computer Science",
        publisher   =   "Springer-Verlag",
        month       =   "March",
        year        =   "1997",
}