Title: Pragmatic application of formal methods to safety critcal systems
First published: 1996