@phdthesis{PhDGlueckRoland,
  author    = {Roland Gl{\"{u}}ck},
  title     = {Bisimulations and model refinement},
  school    = {University of Augsburg},
  year      = {2015},
  url       = {http://d-nb.info/1065758235},
  publisher = {Pro {B}usiness}
}