Silva SR.? 2016.??Efficient Modelling and Analysis of User Interfaces in High-Assurance Systems.