Design Methods For Safety Critical Computer Systems. - V. S. Subramanyeswara Rao Kadiyam; Seetha Ramaiah Panchumarthy; Amarnath J. (Software Engineering Research and Practice, 2010)