Direct Model-checking of SysML Models Topics: Model Execution and Simulation; Model Transformation; Model-Based Testing and Validation; Reasoning about Models In Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development MODELSWARD - Volume 1, 216-223, 2021