Run time assurance of application-level requirements in wireless sensor networks