Statecharts

Repository for general state charts information including papers and examples developed to construct our semantics