I prefer FSM implemented in Rust. Having valid transitions checked at compile time is a life saver as soon as is gets a bit complex - at least in my case being able to "prove" an embedded system wouldn't trigger its watchdog during operation was very important.