@INPROCEEDINGS{GarciaIncremTransact,
   author = {Miguel Garcia and Ralf M{\"o}ller},
   title = {Incremental evaluation of {OCL} invariants in the {E}ssential {MOF} object model},
   year = {2008},
   pages = 	 {11--26},
   editor = 	 {Thomas K{\"u}hne and Wolfgang Reisig and Friedrich Steimann},
   booktitle = 	 {Modellierung 2008},
   volume = 	 {127},
   series = 	 {GI-Edition Lecture Notes in Informatics},
   number = {ISBN 1617-5468}
}