@inproceedings{lpw:fct95,
   author = {Kim G.\ Larsen and Paul Pettersson and Wang Yi},
   title = {{Model-Checking for Real-Time Systems}},
   booktitle = {Proc.\ of Fundamentals of Computation Theory},
   series = {Lecture Notes in Computer Science},
   number = {965},
   pages = {62--88},
   key = {fct95},
   month = Aug,
   year = 1995
}