Abstract: SCADE is a high-level language and environment for developing safety-critical embedded control software. It has been used for more than twenty years in various application domains like ...