%0 Journal Article %J Tools and Algorithms for the Construction and Analysis of Systems %D 2001 %T Simulation revisited %A Tan,L. %A Cleaveland, Rance %B Tools and Algorithms for the Construction and Analysis of Systems %P 480 - 495 %8 2001/// %G eng