@inproceedings{isola2010,
  author = 	 {S. Andova and L.P.J. Groenewegen and Vink, E.P. de},
  title = 	 {Towards Dynamic Adaptation of Probabilistic Systems},
  booktitle = 	 {Proc.\ ISOLA 2010},
  editor = 	 {T. Margaria and B. Steffen},
  year = 	 {2010},
  publisher = 	 {LNCS 6416},
  pages =        {143--159}
}