@INPROCEEDINGS{PGWA13,
  author = {P{\"u}schel, Georg and G{\"o}tz, Sebastian and Wilke, Claas and A{\ss}mann,
	Uwe},
  title = {{Towards Systematic Model-based Testing of Self-adaptive Software}},
  booktitle = {The Fifth International Conference on Adaptive and Self-Adaptive
	Systems and Applications (ADAPTIVE 2013)},
  year = {2013},
  pages = {65--70},
  publisher = {IARIA}
}