A software tool for the timing analysis of embedded software - Luculli, G.; Sangiovanni-Vincentelli, A. (2000 10th Mediterranean Electrotechnical Conference. Information Technology and Electrotechnology for the Mediterranean Countries. Proceedings. MeleCon 2000 (Cat. No.00CH37099), Electrotechnical Conference, 2000. MELECON 2000. 10th Mediterranean, MELECON - 2000, 2000)