Ostroff. Composition and Refinement of Discrete Real-time Systems. Association for Computing Machinery (ACM), Jan. 1999, doi:10.1145/295558.295560.