A Trusted Real-Time Scheduling Model for Wireless Sensor Networks. (3rd February 2016)