img=https://i.imgur.com/F6JCFSU.png
Si consideri l'automa segunete:
Quale dei seguenti modelli Modelica fornisce un modello ragionevole per l'automa di cui sopra.