Software inspections: an effective verification process | Synapse