Developing highly reliable software. - R. Suresh Babu; B. B. Biswas; G. Govindarajan (IEEE Micro, 1997)