Model-checking real-time concurrent systems | IEEE Conference Publication | IEEE Xplore