Richard Lee, Samar Abdi, Doug Regehr, Frederic Risacher. System level modeling of real-time embedded software. In 30th International IEEE Conference on Computer Design, ICCD 2012, Montreal, QC, Canada, September 30 - Oct. 3, 2012. pages 496-497, IEEE Computer Society, 2012. [doi]
Abstract is missing.