Formal modeling and analysis of wireless sensor network algorithms in Real-Time Maude. - Peter Csaba Ölveczky; Stian Thorvaldsen (IPDPS, 2006)

Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real-Time Maude. - Peter Csaba Ölveczky; Stian Thorvaldsen (FMOODS, 2007)

Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude. - Peter Csaba Ölveczky; Stian Thorvaldsen (Theor. Comput. Sci., 2009)