Real time in a TLA-based theory of reactive systems | IEEE Conference Publication | IEEE Xplore