Technical accomplishments: Work progressed on two fronts in March. 
More of the dynamic semantics of Stateflow was coded in our framework. When
complete, this will give us a formal definition of Stateflow and an
executable interpreter.

The main thrust of our work in March was in developing the infrastructure
suitable for reasoning about stateful and interacting systems. Having such an
infrastructure is crucial for ensuring that each step in the translation
of Stateflow to the target language is semantics preserving.

Meetings: Prof. Ed Lee together with his postdoc Jorn Janneck and student
Xiaojun Liu visited Kestrel on March 16. The purpose of the visit was
to discuss collaborating within the scope of MoBIES. A number of possibilities
were considered. Prof. Lee expressed interest in developing code generators
for various Ptolemy domains. Also, we discussed using Specware to give
formal semantics to Ptolemy.