Intecs Engineering S.p.A. Italy embedded systems, mbse, railway engineering, rams, safety critical, space systems, systems engineering, and verification and validation