{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,6]],"date-time":"2024-08-06T09:19:45Z","timestamp":1722935985626},"reference-count":13,"publisher":"IEEE","license":[{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1109\/ase.2002.1115016","type":"proceedings-article","created":{"date-parts":[[2003,6,26]],"date-time":"2003-06-26T01:03:42Z","timestamp":1056589422000},"source":"Crossref","is-referenced-by-count":11,"title":["Towards usable and relevant model checking techniques for the analysis of dependable interactive systems"],"prefix":"10.1109","author":[{"given":"K.","family":"Loer","sequence":"first","affiliation":[{"name":"Dept. of Comput. Sci., York Univ., UK"}]},{"given":"M.","family":"Harrison","sequence":"additional","affiliation":[{"name":"Dept. of Comput. Sci., York Univ., UK"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44675-3_11"},{"key":"ref11","author":"monk","year":"1993","journal-title":"Improving Your Human-Computer Interface A Practical Technique"},{"key":"ref12","first-page":"249","author":"nielsen","year":"1992","journal-title":"Finding usability problems throught heuristic evaluation In Proc of ACM CHI'92 Conference on Human Factors in Computing Systems"},{"key":"ref13","article-title":"A Method for Formal Specification and Verification of Interactive Systems","author":"patern\u00f2","year":"1996"},{"key":"ref4","article-title":"Modular Translation of Statecharts to SMV","author":"beevis","year":"2000","journal-title":"Technical Report CMU-CS-00-XXX"},{"key":"ref3","article-title":"NuSMV 2: An Open Source Tool for Symbolic Model Checking","author":"beevis","year":"2002","journal-title":"Computer-Aided Verification (CAV ' 02"},{"key":"ref6","author":"dix","year":"1998","journal-title":"Human Computer Interaction"},{"key":"ref5","article-title":"On Modes, Error, and Patterns of Interaction","author":"degani","year":"1996"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302672"},{"key":"ref2","article-title":"Automated Deduction and Usability Reasoning","author":"beevis","year":"1999"},{"key":"ref1","article-title":"Analysis Techniques for Man-Machine Systems Design","author":"beevis","year":"1994","journal-title":"Technical Report AC\/243(Panel 8)TR17"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/32.54292"}],"event":{"name":"Proceedings ASE 2002. 17th IEEE International Conference on Automated Software Engineering","location":"Edinburgh, UK","start":{"date-parts":[[2002,9,23]]},"end":{"date-parts":[[2002,9,27]]}},"container-title":["Proceedings 17th IEEE International Conference on Automated Software Engineering,"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8183\/24593\/01115016.pdf?arnumber=1115016","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,29]],"date-time":"2024-04-29T17:30:18Z","timestamp":1714411818000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/1115016\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/ase.2002.1115016","relation":{},"subject":[],"published":{"date-parts":[[2002]]}}}