@inproceedings{DBLP:conf/forte/DaviesBS95,
  title = "Real-time {LOTOS} and Timed Observations",
  author = "Jim Davies and Jeremy Bryans and Steve Schneider",
  year = "1995",
  crossref = "DBLP:conf/forte/1995",
  pages = "383-397",
}