A survey of languages for stating requirements for computer-based information systems | Synapse