TY - RPRT TI - ConStaBL -- A Fresh Look at Software Engineering with State Machines AU - Karthika Venkatesan AU - Sujit Kumar Chakrabarti PY - 2023 UR - https://arxiv.org/abs/2307.03790 ID - 2307.03790 ER -