Raimund Kirner Roland Lang Gerald Freiberger Peter P. Puschner Fully Automatic Worst-Case Execution Time Analysis for Matlab/Simulink Models. 31-40 2002 conf/ecrts/2002 ECRTS http://csdl.computer.org/comp/proceedings/ecrts/2002/1665/00/16650031abs.htm db/conf/ecrts/ecrts2002.html#KirnerLFP02