@inproceedings{Broman:2012:CoDesign,
  title={High-Confidence Cyber-Physical Co-Design},
  author={David Broman},
  booktitle={Proceedings of the Work-in-Progress (WiP) session of the
                  33rd IEEE Real-Time Systems Symposium (RTSS 2012)},
  pages={12},
  year={2012}
}