@inproceedings{fkm98,
  title = "Applying the {Cogito} Program Development Environment to Real-Time System Design",
  author = "C. J. Fidge and P. Kearney and A. P. Martin",
  year = "1998",
  booktitle = "Computer Science '98",
  editor = "C. McDonald",
  isbn = "981-3083-90-5",
  note = "Proc. 21st Australasian Computer Science Conference, Perth, 4-6 February 1998. Australian Computer Science Communications, Vol. 20, No. 1. Also available as technical report SVRC-TR-97-36.",
  pages = "367--378",
  publisher = "Springer-Verlag",
  url = "http://svrc.it.uq.edu.au/Bibliography/svrc-tr.html?97-36",
}