In Model-Based Systems Engineering (MBSE), formalised ... focus is on modelling and verifying the functional behaviour of a system and the corresponding representation in Virtual Satellite. The MBSE ...