publication venue for Program modeling and analysis of real-time and embedded applications. 63:207-212. 2004
