KbDif: a knowledge-based approach for continuous simulation