Correctness verification and performance analysis of real-time systems using stochastic preemptive time Petri nets | IEEE Journals & Magazine | IEEE Xplore