R Braz, A Simao, R Groz, C Oriat - 2023 IEEE International …, 2023 - ieeexplore.ieee.org
Models that can represent the behavior of systems, such as a Finite State Machine (FSM), are crucial for software development and maintenance as they serve as a base for several …