competition, Model-Driven Engineering, over-tuning, pattern-based language, run-time verification, trace checking.