Noureddine, Mohamad Ali,
(2014)
It is critical for software and hardware developers to design correct and reliable systems. In particular, safety critical systems such as medical equipment, navigation control and targeting devices do not tolerate defects ...