@inproceedings{CK09b,
  author      = "R. Calinescu and M. Kwiatkowska",
  title       = "{CADS*}: Computer-Aided Development of Self-* Systems",
  booktitle   = "Proc. 12th International Conference on Fundamental Approaches to Software Engineering (FASE 2009)",
  year        = "2009",
  month       = "March",
  note        = "To appear"
}