Analyzing software requirements errors in safety-critical, embedded systems | Synapse