M. Elekes and Z. Micskei.
" Towards Testing the UML PSSM Test Suite", in <em>Proceedings of the 2nd Workshop on Validation and Verification of Future Cyber-physical Systems</em>, Florianópolis, 2021.