A Framework for Building Secure Real-Time Systems. - Charlie K. Shim; Chang Oan Shang; Alireza Salehnia (CATA, 2003)