Please, add full integration coverage in the file `StateMachineSpec.m`