ON PARALLEL COMPOSITION OF FINITE STATE MACHINES WITH TIMED GUARDS