This is our final year project - State-tracked Entity Framework