Providing Automated Support to Deductive Analysis of Time Critical Systems. - Andrea Alborghetti; Angelo Gargantini; Angelo Morzenti (ESEC / SIGSOFT FSE, 1997)