Added incomplete state machine files