Example Requirement Verification Methods

[franzTobiasDLR]

Implementation of some basic model-based requirement verification methods.

To demonstrate their usability, some domain concepts implement these methods.