A framework for the verification of process dynamics with temporal parameter sensitivity analysis