RELIABILITY AND STATE MACHINES IN AN ADVANCED NETWORK TESTBED

Luigi Rizzo, Dummynet and forward error correction usenix annual technical conference. pp. 31- 31 ,(1998)

Jay Lepreau, Mike Hibler, Leigh Stoller, Shashi Guruprasad, Robert Ricci, Chad Barb, Brian White, Abhijeet Joglekar, Mac Newbold, An Integrated Experimental Environment for Distributed Systems and Networks (full report) ,(2002)

Jay Lepreau, Mike Hibler, Leigh Stoller, Robert Ricci, Chad Barb, Fast, Scalable Disk Imaging with Frisbee. usenix annual technical conference. pp. 283- 296 ,(2003)

David Harel, Michal Politi, Modeling Reactive Systems With Statecharts : The Statemate Approach ,(1998)

Werner Damm, David Harel, LSCs: Breathing Life into Message Sequence Charts formal methods. ,vol. 19, pp. 45- 80 ,(2001) , 10.1023/A:1011227529550

K. Fall, Network emulation in the VINT/NS simulator international symposium on computers and communications. pp. 244- 250 ,(1999) , 10.1109/ISCC.1999.780820

Brian White, Jay Lepreau, Leigh Stoller, Robert Ricci, Shashi Guruprasad, Mac Newbold, Mike Hibler, Chad Barb, Abhijeet Joglekar, An integrated experimental environment for distributed systems and networks ACM SIGOPS Operating Systems Review. ,vol. 36, pp. 255- 270 ,(2002) , 10.1145/844128.844152

Rajeev Motwani, John E. Hopcroft, Jeffrey D. Ullman, Rotwani, Introduction to Automata Theory, Languages, and Computation ,(1979)

Philipp Lucas, Timed Semantics of Message Sequence Charts Based on Timed Automata Electronic Notes in Theoretical Computer Science. ,vol. 65, pp. 160- 179 ,(2002) , 10.1016/S1571-0661(04)80475-4

David Harel, Statecharts: A visual formalism for complex systems Science of Computer Programming. ,vol. 8, pp. 231- 274 ,(1987) , 10.1016/0167-6423(87)90035-9