Embedded software designs such as those for avionics and automotive systems have become highly complex to develop, test and certify ... can significantly minimize the re-work in later phase of the ...