US7089174B2 - Modelling Device Behaviour Using a First Model, a Second Model and Stored Valid Behaviour