Derivation of Change Sequences from State-Based File Differences for Delta-Based Model Consistency