Dimitra Giannakopoulou Jeff Kramer Shing-Chi Cheung Behaviour Analysis of Distributed Systems Using the Tracta Approach. 7-35 1999 6 Autom. Softw. Eng. 1 db/journals/ase/ase6.html#GiannakopoulouKC99