A graphical language with formal semantics for the specification and analysis of real-time systems | IEEE Conference Publication | IEEE Xplore