@inproceedings{Hdn2013,
  author = "Hudon, Simon and Hoang, Thai Son",
  title = "{S}ystems design guided by progress concerns",
  booktitle = "Integrated formal methods : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013 : proceedings",
  year = 2013,
  volume = "7940",
  series = "Lecture notes in computer science",
  pages = "16--30",
  address = "Heidelberg",
  publisher = "Springer",
}