UI domain - modelint/types GitHub Wiki
The UI domain has not been modeled as part of this case study.
It has, however been specified and many years ago several UI's were built for an earlier version of this case study (Elevator 2).
Those old implementations in crusty old languages such as Flash, C# and Visual Basic have long since faded away on some old ThinkPad I used to have back in the 90's.
The original specifications survive however!
I would be thrilled if someone out there could cobble one together on a more modern platform.