A generalized model for preventing information leakage in hard real-time systems.