index_html

There is a report describing this project. This can be found here . As you can notice, in the images of the statecharts, some annotations are missing above the arcs. An updated version will be posted here once this is fixed later today (5/02/2012).