In the field of embedded systems, we are currently experiencing a research trend that involves a very close integration of computing systems and physical systems, particularly with a focus on control. As a result of this tendency, a new device category known as “cyber–physical systems” has ...