Attend ABZ 2021 – 8th International Conference on Rigorous State Based Methods. My interest on the subject inherits from statecharts model used for IMA-CID and LODM. Two models widely discussed are Abstract State Machines (ASM) and Event-B.