2[2]C.M.Krishna,Kang G.Shin:Realtime Systems.PP.2-4 New York:McGraw-Hill,1997.
3[3]R.H.Carver and K.-C.Tai.Replay and Testing For Concurrent Programs.In IEEE Software,volume 8(2),:66-74,1991.
4[4]S.Blaustein,F.Olivete,V.Bmberman.Observing timed systems by means of message sequence chart graphs.Proceedings of the 24th International Conference on Software Engineering,ICSE 2002.