Software dependability in the tandem GUARDIAN system (1995)

by I Lee, R K Iyer
Venue:IEEE Transactions on Software Engineering