Diagramme état - transition, State Machine, State Diagram

[Philippe Cordel]

Je suis à la recherche d'une implementation (eiffel si possible) des state machine.

J'ai un exemple de Bertrand sur des réservation de vol qu'il présentait dans les années 2000, mais je cherche une version un peu plus sophistiquée avec action et condition sur les transitions et éventuellement états hiérarchisés.

Auriez vous connaissance de quelque chose du genre ?