Software dependability in the Tandem GUARDIAN system | Synapse