Formal Change Impact Analyses of Extended Finite State Machines Using a Theorem Prover | IEEE Conference Publication | IEEE Xplore