Consistent integration for sequential Abstract State Machines