@misc{indiciae0ad36cbd3881, title = {To Do or Not to Do: Semantics and Patterns for Do Activities in UML PSSM State Machines}, author = {Márton Elekes and Vince Molnár and Zoltán Micskei}, year = {2024}, doi = {10.1109/tse.2024.3422845}, url = {https://arxiv.org/abs/2309.14884}, note = {Source identifier: 2309.14884} }