Compliance Analysis Based on a Goal-oriented Requirement Language Evaluation Methodology · Study