Many oppose functional requirements and MBSE state-machines. Check this 15mn Stimulus video until its end: we explore the synergy between requirements and state machines with a very innovative approach, NEVER presented until today.
You should learn something really new and important about embedded systems modelling methodology.
Enjoy the video!
Yves