Scalable compositional reachability analysis of real-time concurrent systems | IEEE Conference Publication | IEEE Xplore