publication venue for Change impact analysis in Simulink designs of embedded systems 2020 Mining assumptions for software components using machine learning 2020