@article{GlueckMoellerSintzoff2011,
  author    = {Roland Gl{\"u}ck and Bernhard M{\"o}ller and Michel Sintzoff},
  title     = {Model refinement using bisimulation quotients},
  journal   = {Lecture Notes in Computer Science},
  volume    = {6486},
  pages     = {76 -- 91},
  doi       = {10.1007/978-3-642-17796-5_5},
  year      = {2011},
}