Comparison of Model Checking Tools Using Timed Automata - PRISM and UPPAAL | IEEE Conference Publication | IEEE Xplore