9D99235B-77D3-47CA-B374-6788ACE5B78FFormally-based tools for user interface analysis and designResearch GrantEP/F020031/1798CB33D-C79E-4578-83F2-72606407192CEPSRCINCOME_ACTUAL6063462C6BDF81-81FE-49BD-BDB6-1928D787A0B1Action graphs and user performance analysisInternational Journal of Human-Computer Studies6452770771703c548862f79e1517ac81Thimbleby H2013-01-01http://dx.doi.org/10.1016/j.ijhcs.2012.10.014http://dx.doi.org/10.1016/j.ijhcs.2012.10.0143Journal Article/Reviewdoi_53cff6ff67415171