Compiling process algebraic specifications into timed automata. - Carl K. Chang; Yi-Te Tseng; Ugo A. Buy (COMPSAC, 1997)