System and software safety in electronic systems is becomingincreasingly central in many industries and indeed as part ofoften critical societal infrastructure. The […]