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.