A discrete time model for performance evaluation and correctness verification of real time systems | IEEE Conference Publication | IEEE Xplore