{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:54:30Z","timestamp":1725515670412},"publisher-location":"Berlin, Heidelberg","reference-count":5,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540705680"},{"type":"electronic","value":"9783540705697"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-70569-7_7","type":"book-chapter","created":{"date-parts":[[2008,7,15]],"date-time":"2008-07-15T05:28:15Z","timestamp":1216099695000},"page":"86-91","source":"Crossref","is-referenced-by-count":0,"title":["Investigating System Navigation Ergonomics through Model Verification"],"prefix":"10.1007","author":[{"given":"Alexandre","family":"Scaico","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maria","family":"de F. Q. Vieira","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Markson R. F.","family":"de Sousa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Charles","family":"Santoni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"Design\/CPN, \n                  \n                    http:\/\/www.daimi.au.dk\/designCPN\/"},{"key":"7_CR2","unstructured":"Hussey, A., MacColl, I., Carrington, D.: Assessing Usability from Formal User-Interface Designs. software Verification Research Centre TR00-15, The University of Queensland (May 2000)"},{"key":"7_CR3","series-title":"Monographs in Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-06289-0","volume-title":"Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use","author":"K. Jensen","year":"1992","unstructured":"Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Monographs in Theoretical Computer Science, vol.\u00a01. Springer, Heidelberg (1992)"},{"key":"7_CR4","unstructured":"Sousa, M.R.F., Turnell, M.F.Q.V.: User Interface Based on Coloured Petri Nets Modeling and Analysis. In: Proceedings of the 1998 IEEE International Conference on Systems Man and Cybernetics, San Diego, USA (1998)"},{"key":"7_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/3-540-45522-1_5","volume-title":"Interactive Systems: Design, Specification, and Verification","author":"M.F.Q.V. Turnell","year":"2001","unstructured":"Turnell, M.F.Q.V., Scaico, A., Sousa, M.R.F., Perkusich, A.: Industrial User Interface Evaluation Based On Coloured Petri Nets Modelling and Analysis. In: Johnson, C. (ed.) DSV-IS 2001. LNCS, vol.\u00a02220, pp. 69\u201387. Springer, Heidelberg (2001)"}],"container-title":["Lecture Notes in Computer Science","Interactive Systems. Design, Specification, and Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-70569-7_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,2]],"date-time":"2019-03-02T16:22:07Z","timestamp":1551543727000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-70569-7_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540705680","9783540705697"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-70569-7_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}