A generalized model for preventing information leakage in hard real-time systems. - Rodolfo Pellizzoni; Neda Paryab; Man-Ki Yoon; Stanley Bak; Sibin Mohan; Rakesh Bobba (RTAS, 2015)