@inproceedings{DAC-2007-KirnerS,
	author        = "Raimund Kirner and Martin Schoeberl",
	booktitle     = "{Proceedings of the 44th Design Automation Conference}",
	doi           = "10.1145/1278480.1278603",
	pages         = "471--476",
	publisher     = "{IEEE}",
	title         = "{Modeling the Function Cache for Worst-Case Execution Time Analysis}",
	year          = 2007,
}