de Almeida, D., Graics, B., Chagas, R., de Sousa, F., & Mattiello-Francisco, F. 2021 nov 22. Towards Simulation of CubeSat Operational Scenarios under a Cyber-Physical Systems View. Anais do Workshop on Validation and Verification of Future Cyber-physical Systems (WAFERS). [Online] :