---

Auditing a Real Time Computer System: A Case Study