@InProceedings{rhodos06,
  author =       {P. C. {\"O}lveczky and S. Thorvaldsen},
  title =        {Formal Modeling and Analysis of Wireless Sensor
                  Network Algorithms in {Real-Time Maude}},
  booktitle = {20th International Parallel and Distributed Processing Symposium
               (IPDPS 2006)},
  year =         {2006},
  publisher = {IEEE Computer Society Press}

}