Event-B do step utilises ExecuteUntilCommand
Added ltl command status processing