Import state machine from SCADE - initial draft