@article{AnalysingTMFS,
  title = "{Analysing TM_{FS}: a study of nondeterminism in real-time concurrency}",
  author = "A. W. Roscoe and G.M. Reed",
  year = "1991",
  editor = "Yonezawa and Ito",
  journal = "{Concurrency: Theory Language and Architecture}",
  publisher = "Springer LNCS",
  url = "http://www.cs.ox.ac.uk/people/bill.roscoe/publications/38.ps",
  volume = "491",
}