T Pasquale, E Rosaria, M Pietro… - 22nd International …, 2003 - ieeexplore.ieee.org
To operate real-time, distributed, safety critical systems, their logical and temporal
correctness must be validated against strict safety requirements. International committees …