[lebek]

I think the interactive diagram is the most important artifact here, rather than the visual prototype. The synchronized combination of the two is even better.

This kind of thing isn't usually implemented as a formal state machine in "real" code, so even if designers were capable of writing the "real" code, they wouldn't be able to automatically generate an interactive diagram the way this thing can.