Managing the development of reliable software | Synapse