Sourav Bhattacharya Akira K. Onoma Farokh B. Bastani High-Assurance Systems (Introduction to the Special Section). 67 1997 40 Commun. ACM 1 db/journals/cacm/cacm40.html#BhattacharyaOB97