@inproceedings{kp01,
  title = "Automated Pipeline Design",
  author = "Kroening, Daniel and Paul, Wolfgang",
  year = "2001",
  booktitle = "Proc. of 38th {ACM}/{IEEE} Design Automation Conference ({DAC} 2001)",
  pages = "810--815",
  publisher = "ACM Press",
}