This semantics has been adopted by the semiconductor industry standard … M.C.W. Geilen, Formal Techniques for Verification of Complex Real-time Systems,. Download