publication venue for Software engineering practices and Simulink: bridging the gap. 20:95-117. 2018 Software tools for safety-critical software development. 8:337-354. 2006