Ravi Mukkamala, Rasikan David, Sang H. Son, "Correction to 'Integrating Security and Real-Time Requirements Using Covert Channel Capacity'", IEEE Transactions on Knowledge & Data Engineering, vol. 13, no. , pp. 862, September/October 2001, doi:10.1109/TKDE.2001.956110