Home Aritz Elgezabal Systems Engineering Deterministic Systems Engineering, Formal Modeling and Critical Embedded Systems