Efficiently designing complex systems and embedded software applications – which can include sensors, actuators and controllers that run complicated software applications – is a challenge for many ...