Aim
In the context of critical embedded systems, verification of temporal and functional constraints in the worst-case is an essential property, not only to ensure the proper functioning of the system in its environment, but also and especially to guarantee strict certification requirements, particularly for avionics and space.