@inproceedings{NikolicGMStrong,
   Author = {Giacobazzi, Roberto and Mastroeni, Isabella and Nikoli\'c, {\DH}urica},
   Title = {Strong Preservation by Model Deformation},
   Booktitle = {Proceedings of the 6th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE'12)},
   Editor = {Margaria, T and Qiu Z, and Yang H.},
   Publisher = {IEEEE},
   Pages = {33-40},
   Month = {July},
   Year = {2012}
}