A domain-specific approach to verification & validation of software requirements