Among the various types of software, Embedded Software is a class of its own: it ensures critical missions and if wrongly designed it can disturb the human organization, lead to large losses, injure or kill many people. Updates are difficult and rather expensive or even impossible...