Peter Csaba Ölveczky Stian Thorvaldsen Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real-Time Maude. 122-140 2007 conf/fmoods/2007 FMOODS http://dx.doi.org/10.1007/978-3-540-72952-5_8 db/conf/fmoods/fmoods2007.html#OlveczkyT07