related documents Change impact analysis in Simulink designs of embedded systems Conferences Mining assumptions for software components using machine learning Conferences