@inproceedings{rinard2009survival,
  author={Martin Rinard},
  title={Survival strategies for synthesized hardware systems},
  booktitle={Formal Methods and Models for Co-Design, 2009. MEMOCODE'09. 7th IEEE/ACM International Conference on},
  year={2009},
  pages={116--120},
  organization={IEEE}
}