I. Challenges
Technology solutions are becoming utterly dependent on software. Today, the functionality of most industrial systems and products such as cars, smart phones, and medical devices is implemented by software as embedded real-time system. The reliability of these systems is fundamental to the functioning of our society, as evidenced by accidents reported in recent years, e.g., involving self-driving Tesla cars controlled by software.