Oleg Sokolsky, Usa Sammapun, John Regehr, Insup Lee: Runtime Verification for Wireless Sensor Network Applications. Runtime Verification 2007