Robuta

https://www.mathworks.com/help/stateflow/ug/state-transition-tables-in-stateflow.html
Model a finite state machine for sequential modal logic in a concise, compact format.
finite state machinesmodelusingtransitiontables
https://www.nist.gov/publications/integration-testing-object-oriented-components-using-finite-state-machines
In object-oriented terms, one of the goals of integration testing is to ensure that messages from objects in one class or component are sent and received in the
finite state machinesintegration testingobject orientedcomponentsusing