Next state modeling