## Referencia Elekes, M., Molnár, V., y Micskei, Z. (2024). To Do or Not to Do: Semantics and Patterns for Do Activities in UML PSSM State Machines. _IEEE Transactions on Software Engineering_. [https://doi.org/10.1109/TSE.2024.3422845](https://doi.org/10.1109/TSE.2024.3422845)