added updates to models involving state machines