Modelizing user interfaces' behavior with state machines is a functional UI technique commonly used in safety-critical industries. This article explains how modeling leads to reliable software.