@misc{indiciae8fb23cee1c68,
  title = {Institution-based Encoding and Verification of Simple UML State Machines in CASL/SPASS},
  author = {Tobias Rosenberger and Saddek Bensalem and Alexander Knapp and Markus Roggenbach},
  year = {2020},
  url = {https://arxiv.org/abs/2011.00556},
  note = {Source identifier: 2011.00556}
}