Towards a formal specification methodology for iconic interface design | IEEE Conference Publication | IEEE Xplore