“…Uses of logic include Henzinger et al 's [14] proof system for real time systems using bounds on transition times, Shaw's [27] extension of Hoare logic to reason about time, and Ramshaw's [23] generation of recurrence equations about timings using Hoare style axioms. Analytic methods include complexity analysis (e.g., [4]), microanalysis using difference equations (e.g., [15]), Petri nets (e.g., [20], stochastic processes (e.g., [10]), stochastic automata [22], queueing networks (e.g., [13]), and analysis of graphs whose nodes represent code segments (e.g., [11,25]). …”