Modelling of Real Time Units in the Verification and Validation Process of Satellite Systems. - MARINESCU, Marius-Daniel; GRIGORE, Stefan-Florin; CRISTEA, Teodor-Andrei; TACHE, Florin; CERCOS PITA, Lorenzo; MUNOZ-CABALLERO, Samuel; ESCUDERO, Germán MORENO (INCAS Bulletin, 2026)