User interface evaluation based on coloured Petri nets modelling and analysis | IEEE Conference Publication | IEEE Xplore