Automatic translation of a timed process algebra into dynamic state graphs | IEEE Conference Publication | IEEE Xplore