Software Dependability in the Tandem GUARDIAN System (1995)

by Inhwan Lee, Ravishankar K Iyer
Venue:IEEE Transactions on Software Engineering