s for key publications representing project findings during this reporting period, are provided here. A complete list of publications that appeared in print during this reporting period is given in Section 3 below, including publications representing findings that were reported in the previous annual report. [1] A visually-specified code generator for Simulink/Stateflow Neema, S.; Kalmar, Z.; F...