Bruce W. Weide Paolo Bucci Wayne D. Heym Murali Sitaraman Giorgio Rizzoni Issues in performance certification for high-level automotive control software. 1-6 2005 30 ACM SIGSOFT Software Engineering Notes 4 http://doi.acm.org/10.1145/1082983.1083196 db/journals/sigsoft/sigsoft30.html#WeideBHSR05