Triple Graph Grammars and OCL for Validating System Behavior
scientific article