Simulink Model Static Analysis Results based on Abstract Interpretation | IEEE Conference Publication | IEEE Xplore