Real-time system security by Brett Tjaden, Lonnie R. Welch