@inproceedings{CK09b,
  title = "CADS*: Computer-Aided Development of Self-* Systems",
  author = "Radu Calinescu and Marta Kwiatkowska",
  year = "2009",
  booktitle = "Fundamental Approaches to Software Engineering (FASE 2009)",
  editor = "Marsha Chechik and Martin Wirsing",
  month = "March",
  pages = "421-424",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://qav.comlab.ox.ac.uk/papers/fase09.pdf",
  volume = "5503",
  doi = "10.1007/978-3-642-00593-0_29",
}