Formally Specifying UIs (2018)
I'm a fan of formal methods in general, but I'm not sure they're a good fit for UI specification.  Building user interfaces is all about flexibility—you need to be able to change the UI as you discover what works and what doesn't.  A rigid, pre-specified UI is almost always a bad UI.