Cyber-Physical Systems are being used in" safety-critical" domains and have strict timing
constraints, meaning that time predictability of the implementations is highly important. In the …