A Tool for Modeling and Simulation of Real-Time Systems Behaviour | IEEE Conference Publication | IEEE Xplore