@article{elekes-tse-2024,
  author       = {M{\'{a}}rton Elekes and Vince Moln{\'{a}}r and Zolt{\'{a}}n Micskei},
  title        = {To Do or Not to Do: Semantics and Patterns for Do Activities in {UML} {PSSM} State Machines},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {50},
  number       = {8},
  pages        = {2124--2141},
  year         = {2024},
  doi          = {10.1109/TSE.2024.3422845},
}