Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude
scientific article; zbMATH DE number 5522092
scientific article