JPL Statechart Autocoder Rev. 2