{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:42:01Z","timestamp":1775054521923,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540695530","type":"print"},{"value":"9783540695547","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-69554-7_3","type":"book-chapter","created":{"date-parts":[[2007,5,13]],"date-time":"2007-05-13T08:53:57Z","timestamp":1179046437000},"page":"25-38","source":"Crossref","is-referenced-by-count":21,"title":["Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification"],"prefix":"10.1007","author":[{"given":"Eric","family":"Barboni","sequence":"first","affiliation":[]},{"given":"St\u00e9phane","family":"Conversy","sequence":"additional","affiliation":[]},{"given":"David","family":"Navarre","sequence":"additional","affiliation":[]},{"given":"Philippe","family":"Palanque","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"ARINC 661 specification: Cockpit Display System Interfaces To User Systems, Prepared by Airlines Electronic Engineering Committee, Published by AERONAUTICAL RADIO, INC., april 22 (2002)"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Bastide, R., et al.: A Model-Based Approach for Real-Time Embedded Multimodal Systems in Military Aircrafts. In: Sixth International Conference on Multimodal Interfaces (ICMI\u201904), Pennsylvania State University, USA, October 14-15 (2004)","DOI":"10.1145\/1027933.1027974"},{"key":"3_CR3","first-page":"650","volume-title":"Encyclopedia of HCI","author":"R. Bastide","year":"2005","unstructured":"Bastide, R., Navarre, D., Palanque, P.: Tool Support for Interactive Prototyping of Safety Critical Interactive Applications. In: Gaoui, C. (ed.) Encyclopedia of HCI (Hard Cover), p. 650. Idea Group Reference Pub., Hershey (July 2005)"},{"key":"3_CR4","series-title":"Lecture Notes in Computer Science","volume-title":"Application and Theory of Petri Nets 1995","author":"R. Bastide","year":"1995","unstructured":"Bastide, R., Palanque, P.: A Petri Net Based Environment for the Design of Event-Driven Interfaces. In: DeMichelis, G., D\u00edaz, M. (eds.) Application and Theory of Petri Nets 1995. LNCS, vol.\u00a0935, Springer, Heidelberg (1995)"},{"key":"3_CR5","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1145\/1096601.1096640","volume-title":"Proceedings of the 2005 ACM Symposium on Document Engineering (DocEng 2005)","author":"O. Beaudoux","year":"2005","unstructured":"Beaudoux, O.: XML Active Transformation (eXAcT): Transforming Documents within Interactive Systems. In: Proceedings of the 2005 ACM Symposium on Document Engineering (DocEng 2005), pp. 146\u2013148. ACM Press, New York (2005)"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Blanch, R., et al.: INDIGO: une architecture pour la conception d\u2019applications grap-hiques interactives distribu\u00e9es. In: Proceedings of IHM 2005, Toulouse, France, September, pp. 139\u2013146 (2005)","DOI":"10.1145\/1148550.1148568"},{"key":"3_CR7","unstructured":"Faerber, R., Vogl, T., Hartley, D.: Advanced Graphical User Interface for Next Generation Flight Management Systems. In: Proceedings of HCI Aero 2000, pp. 107\u2013112 (2000)"},{"key":"3_CR8","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/978-3-642-84524-6_1","volume-title":"High-Level Petri Nets: Theory and Application","author":"H.J.. Genrich","year":"1991","unstructured":"Genrich, H.J.: Predicate\/Transition Nets. In: Jensen, K., Rozenberg, G. (eds.) High-Level Petri Nets: Theory and Application, pp. 3\u201343. Springer, Berlin (1991)"},{"key":"3_CR9","volume-title":"(Editors).","year":"1995","unstructured":"Gram, C., Cockton, G. (eds.) (Editors). Chapman and Hall, Boca Raton (1995)"},{"key":"3_CR10","unstructured":"Marrenbach, J., Kraiss, K-F.: Advanced Flight Management System: A New Design and Evaluation Results. In: Proceedings of HCI Aero 2000, pp. 101\u2013106 (2000)"},{"issue":"3","key":"3_CR11","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1016\/S0953-5438(03)00011-0","volume":"15","author":"D. Navarre","year":"2003","unstructured":"Navarre, D., Palanque, P., Bastide, R.: A Tool-Supported Design Framework for Safety Critical Interactive Systems. Interacting with computers\u00a015(3), 309\u2013328 (2003)","journal-title":"Interacting with computers"},{"key":"3_CR12","unstructured":"Navarre, D., Palanque, P., Bastide, R.: A Formal Description Technique for the Behavioural Description of Interactive Applications Compliant with ARINC 661 Specification. In: HCI-Aero\u201904, Toulouse, France, 29 September-1st October (2004)"},{"key":"3_CR13","unstructured":"Palanque, P., Bastide, R.: Petri nets with objects for specification, design and validation of user-driven interfaces. In: Proceedings of the third IFIP TC 13 conference on Human-Computer Interaction, Interact\u201990, Cambridge, 27-31 August (1990)"},{"key":"3_CR14","volume-title":"User Interface Management Systems, Proceedings, Workshop on User Interface Management Systems","author":"G.E. Pfaff","year":"1983","unstructured":"Pfaff, G.E. (Hrsg.): User Interface Management Systems, Proceedings, Workshop on User Interface Management Systems, Seeheim, 1. - 3.11.1983. Springer, Heidelberg (1983)"},{"key":"3_CR15","first-page":"180","volume-title":"Proceedings of HCI Aero 2002","author":"L. Sherry","year":"2002","unstructured":"Sherry, L., et al.: When Does the MCDU Interface Work Well? Lessons Learned for the Design of New Flightdeck User-Interface. In: Proceedings of HCI Aero 2002, pp. 180\u2013186. AAAI Press, Menlo Park (2002)"},{"key":"3_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1007\/978-3-540-39929-2_26","volume-title":"Interactive Systems. Design, Specification, and Verification","author":"N. Souchon","year":"2003","unstructured":"Souchon, N., Vanderdonckt, J.: A Review of XML-Compliant User Interface Description Languages. In: Jorge, J.A., Jardim Nunes, N., Falc\u00e3o e Cunha, J. (eds.) DSV-IS 2003. LNCS, vol.\u00a02844, pp. 377\u2013391. Springer, Heidelberg (2003)"},{"key":"3_CR17","unstructured":"UsiXML, http:\/\/www.usixml.org\/?view=news"},{"key":"3_CR18","doi-asserted-by":"publisher","first-page":"474","DOI":"10.1145\/511446.511508","volume-title":"Proceedings of the 11th international Conference on World Wide Web, WWW \u201902","author":"L. Villard","year":"2002","unstructured":"Villard, L., Laya\u00efda, N.: An incremental XSLT transformation processor for XML document manipulation. In: Proceedings of the 11th international Conference on World Wide Web, WWW \u201902, Honolulu, Hawaii, USA, May 07-11, 2002, pp. 474\u2013485. ACM Press, New York (2002)"}],"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-69554-7_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:01:19Z","timestamp":1605762079000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-69554-7_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540695530","9783540695547"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69554-7_3","relation":{},"subject":[]}}