@inproceedings{fmoods07, author = {P. C. {\"O}lveczky and S. Thorvaldsen}, title = {Formal Modeling and Analysis of the {OGDC} Wireless Sensor Network Algorithm in {Real-Time Maude}}, editor = {M. M. Bonsangue and E. B. Johnsen}, booktitle = {Formal Methods for Open Object-Based Distributed Systems (FMOODS'07)}, year = {2007}, pages = {122-140}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {4468} }