Towards Dependable Safety-Critical Software (1996)

by F et al Bastani
Venue:2 nd IEEE Workshop on Object-Oriented Real-Time Dependable Systems