@inproceedings{phuket08,
  author    = {P. C. {\"O}lveczky},
  title     = {Towards Formal Modeling and Analysis of Networks of Embedded
               Medical Devices in {Real-Time Maude}},
  booktitle = {Ninth ACIS International Conference on Software Engineering,
               Artificial Intelligence, Networking and Parallel/Distributed
               Computing (SNPD 2008)},
  year      = {2008},
  publisher = {IEEE Computer Society Press}
}