@inproceedings{lpw:dimacs95,
   title = {{Diagnostic Model-Checking for Real-Time Systems}},
   author = {Kim G.\ Larsen and Paul Pettersson and Wang Yi},
   booktitle = {Proc.\ of Workshop on Verification and Control of Hybrid Systems III}, 
   series = LNCS,
   number = 1066,
   pages = {575--586},
   publisher = {Springer--Verlag},
   month = Oct, 
   year = 1995
}