Automated analysis of requirement specifications | Synapse