@inproceedings{OptimalityBisimulation,
  author    = {Roland Gl{\"{u}}ck},
  title     = {Using Bisimulations for Optimality Problems in Model Refinement},
  booktitle = {Relational and Algebraic Methods in Computer Science - 12th International
               Conference, {RAMICS} 2011, Rotterdam, The Netherlands, May 30 - June
               3, 2011. Proceedings},
  pages     = {164--179},
  year      = {2011},
  editor    = {Harrie C. M. de Swart},
  series    = {Lecture Notes in Computer Science},
  volume    = {6663},
  publisher = {Springer},
  url       = {http://dx.doi.org/10.1007/978-3-642-21070-9_14},
  doi       = {10.1007/978-3-642-21070-9_14},
}