{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T18:40:36Z","timestamp":1771008036453,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540705680","type":"print"},{"value":"9783540705697","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-70569-7_6","type":"book-chapter","created":{"date-parts":[[2008,7,15]],"date-time":"2008-07-15T01:28:15Z","timestamp":1216085295000},"page":"72-85","source":"Crossref","is-referenced-by-count":45,"title":["Systematic Analysis of Control Panel Interfaces Using Formal Tools"],"prefix":"10.1007","author":[{"given":"J. Creissac","family":"Campos","sequence":"first","affiliation":[]},{"given":"M. D.","family":"Harrison","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1023\/A:1011265604021","volume":"8","author":"J.C. Campos","year":"2001","unstructured":"Campos, J.C., Harrison, M.D.: Model checking interactor specifications. Automated Software Engineering\u00a08, 275\u2013310 (2001)","journal-title":"Automated Software Engineering"},{"key":"6_CR2","unstructured":"Campos, J.C., Harrison, M.D.: Considering context and users in interactive systems analysis. In: van de Veer, G., Palanque, P., Wesson, J. (eds.) Engineering Interactive Systems (accepted for publication, 2007)"},{"key":"6_CR3","unstructured":"Cimatti, A., Roveri, M., Olivetti, E., Keighren, G., Pistore, M., Roveri, M., Semprini, S., Tchaltsev, A.: NuSMV 2.3 user manual. Technical report, ITC-IRST, Trento, Italy (2007)"},{"key":"6_CR4","volume-title":"Model Checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"6_CR5","doi-asserted-by":"crossref","DOI":"10.1057\/9781403982520","volume-title":"Taming HAL: designing interfaces beyond 2001","author":"A. Degani","year":"2003","unstructured":"Degani, A.: Taming HAL: designing interfaces beyond 2001. Macmillan, Palgrave (2003)"},{"issue":"3","key":"6_CR6","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1111\/1467-8659.1230025","volume":"12","author":"D.J. Duke","year":"1993","unstructured":"Duke, D.J., Harrison, M.D.: Abstract interaction objects. Computer Graphics Forum\u00a012(3), 25\u201336 (1993)","journal-title":"Computer Graphics Forum"},{"key":"6_CR7","volume-title":"UML Distilled: a brief guide to the standard object modelling language","author":"M. Fowler","year":"2004","unstructured":"Fowler, M.: UML Distilled: a brief guide to the standard object modelling language, 3rd edn. Addison-Wesley, Reading (2004)","edition":"3"},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1007\/11752707_17","volume-title":"Interactive Systems. Design, Specification, and Verification","author":"J. Gow","year":"2006","unstructured":"Gow, J., Thimbleby, H., Cairns, P.: Automatic critiques of interface modes. In: Gilroy, S.W., Harrison, M.D. (eds.) DSV-IS 2005. LNCS, vol.\u00a03941, pp. 201\u2013212. Springer, Heidelberg (2006)"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Gow, J., Thimbleby, H.W.: MAUI: An interface design tool based on matrix algebra. In: Jacob, R.J.K., Limbourg, Q., Vanderdonckt, J. (eds.) Computer Aided Design of User Interfaces IV, CADUI 2004, pp. 81\u201394 (2004)","DOI":"10.1007\/1-4020-3304-4_7"},{"key":"6_CR10","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/j.entcs.2008.03.106","volume":"208C","author":"M.D. Harrison","year":"2008","unstructured":"Harrison, M.D., Kray, C., Campos, J.C.: Exploring an option space to engineer a ubiquitous computing system. Electr. Notes in Theoretical Computer Science\u00a0208C, 41\u201355 (2008)","journal-title":"Electr. Notes in Theoretical Computer Science"},{"issue":"2","key":"6_CR11","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1518\/001872007X312522","volume":"49","author":"M. Heymann","year":"2007","unstructured":"Heymann, M., Degani, A.: Formal analysis and automatic generation of user interfaces: Approach, methodology, and an algorithm. Human Factors: The Journal of the Human Factors and Ergonomics Society\u00a049(2), 311\u2013330 (2007)","journal-title":"Human Factors: The Journal of the Human Factors and Ergonomics Society"},{"issue":"4","key":"6_CR12","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1007\/s10515-006-7999-y","volume":"13","author":"K. Loer","year":"2006","unstructured":"Loer, K., Harrison, M.D.: An integrated framework for the analysis of dependable interactive systems (IFADIS): its tool support and evaluation. Automated Software Engineering\u00a013(4), 469\u2013496 (2006)","journal-title":"Automated Software Engineering"},{"key":"6_CR13","volume-title":"The Unified Modeling Language Reference Manual (UML)","author":"J. Rumbaugh","year":"1999","unstructured":"Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual (UML). Addison-Wesley, Reading (1999)"},{"key":"6_CR14","volume-title":"Press on: principles of interaction programming","author":"H.W. Thimbleby","year":"2007","unstructured":"Thimbleby, H.W.: Press on: principles of interaction programming. MIT Press, Cambridge (2007)"}],"container-title":["Lecture Notes in Computer Science","Interactive Systems. Design, Specification, and Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-70569-7_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T00:23:06Z","timestamp":1620001386000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-70569-7_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540705680","9783540705697"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-70569-7_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[]}}