@inproceedings{DK12,
  title = "Towards Communication-Based Steering of Complex Distributed Systems",
  author = "K. Draeger and M. Kwiatkowska",
  year = "2012",
  booktitle = "Development, Operation and Management of Large-Scale Complex IT Systems",
  editor = "R. Calinescu and D. Garlan",
  note = "to appear",
  publisher = "Springer",
  series = "LNCS",
  volume = "7539",
}