A case study of distributed, asynchronous software inspection | Synapse