@misc{venkatesan2023constabl,
  title={ConStaBL -- A Fresh Look at Software Engineering with State Machines},
  author={Karthika Venkatesan and Sujit Kumar Chakrabarti},
  year={2023},
  eprint={2307.03790},
  archivePrefix={arXiv},
  primaryClass={cs.SE},
  url={https://arxiv.org/abs/2307.03790}
}