Bit-precise formal verification of discrete-time MATLAB/Simulink Models using SMT Solving | IEEE Conference Publication | IEEE Xplore