@inproceedings{DAC-2007-EdwardsL,
	author        = "Stephen A. Edwards and Edward A. Lee",
	booktitle     = "{Proceedings of the 44th Design Automation Conference}",
	doi           = "10.1145/1278480.1278545",
	pages         = "264--265",
	publisher     = "{IEEE}",
	title         = "{The Case for the Precision Timed (PRET) Machine}",
	year          = 2007,
}