Intelligent Editor for Writing Worst-Case-Execution-Time-Oriented Programs. - Janosch Fauster; Raimund Kirner; Peter P. Puschner (EMSOFT, 2003)