Fully Automatic Worst-Case Execution Time Analysis for Matlab/Simulink Models. - Raimund Kirner; Roland Lang; Gerald Freiberger; Peter P. Puschner (ECRTS, 2002)