PRACTICAL THEORY OF REACTIVE SYSTEMS: INCREMENTAL MODELING OF DYNAMIC BEHAVIORS