SimRDH: A Modeling and Simulation Environment With Component Hybrid Dynamic Nets, Elevator Application | IEEE Journals & Magazine | IEEE Xplore