Design and evaluation of feedback automation architecture: Enriching model execution with feedback to support testing of semantic conformance between models and requirements