Consider the following timed process with three clocks. Compute the sets RA, RA , RB, RB , RC, and RC of clock values represented as canonical DBMs such that each of the DBMs RA, RB, RC captures the possible clock values when the corresponding mode is entered, and each of the DBMs RA , RB , RC captures the possible clock values as the process waits in the corresponding mode. Note: You may write the DBMs as matrices.

clock x1,x2,x3 := 0 /x1A(x2 ) x2 := 0/x.(x1 23) x3 := 0 Kj 8 X2