Model checking hierarchical communicating real-time state machines | IEEE Conference Publication | IEEE Xplore