Autonomous Cars, Aerospace, Aeronautics, Systems, Complex Systems Science.
interactions separated. G- Model-checking: The capacity of reading the system with our generalized transitions appears to us as a ready-to-use model-checking tool. The natural extension of our tool is to connect different components reading the whole system in the same way. The intermediate data