Problem z wyborem przykładu polega na tym, iż pierwszy znaleziony opisuje (wzory matematyczne, prawa fizyczne) działanie poszczególnych podzespołów pralki (podejście zbyt techniczne). Drugi przykład z kolei wspomina o pralce tylko w kontekście maszyny stanów (większość innych modeli na które się natknąłem pisze o pralce tylko w tym kontekście). Niemniej jednak bazując tylko na tym modelu można próbować podjąć się analizy
P1: Very good, technical model of Washing-machine with controller in Simulink languare (too technical, can be useless?) local copy
P2: Examples of State Machine Diagrams (also example of Washing-machine) local copy
Brak odpowiednio dobrze modelujących system modeli