| Line 19: | Line 19: | ||
* [http://wiki.event-b.org/index.php/IUML-B iUML Statemachines] | * [http://wiki.event-b.org/index.php/IUML-B iUML Statemachines] | ||
* [http://www.beta-tool.info/user_guide.html Beta] | * [http://www.beta-tool.info/user_guide.html Beta] | ||
* [http://www.macs.hw.ac.uk/~mtl4/Publications.html HRemo] | * [http://www.macs.hw.ac.uk/~mtl4/Publications.html HRemo (see PhD thesis)] | ||
* [https://sites.google.com/site/millepet/publications Message Choreography Model Animation and Test Case Generation (see PhD thesis; Chapters 5 and 6)] | |||
== Tools == | == Tools == | ||