Dang, Duc Hanh  (2008) Triple Graph Grammars and OCL for Validating System Behavior.  In: The 4th International Conference on Graph Transformations (ICGT), 2008.