@inproceedings{lpw:rtss95,
   author = {Kim G.\ Larsen and Paul Pettersson and Wang Yi},
   title = {{Compositional and Symbolic Model-Checking of Real-Time Systems}},
   booktitle = {Proc.\ of the 16{\em th} IEEE Real-Time Systems Symposium},
   publisher = {IEEE Computer Society Press},
   pages = {76--87},
   month = Dec,
   year = 1995
}