olemus
mudel, mida kasutatakse kavandatud süsteemi mingi osa diskreetse käitumise spetsifitseerimiseks lõplike olekusiiretega
= a model used to specify discrete behavior of a part of designed system through finite state transitions

ülevateid
https://edizsaykol.weebly.com/uploads/9/8/6/5/9865252/sad-lecture-06.pdf
https://smacc.dev/behavioral-vs-protocol-state-machines/