{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T06:31:01Z","timestamp":1743057061536,"version":"3.40.3"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030549930"},{"type":"electronic","value":"9783030549947"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-54994-7_34","type":"book-chapter","created":{"date-parts":[[2020,8,12]],"date-time":"2020-08-12T20:03:45Z","timestamp":1597262625000},"page":"465-485","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Formal Modelling of Safety-Critical Interactive Devices Using Coloured Petri Nets"],"prefix":"10.1007","author":[{"given":"Sapna","family":"Jaidka","sequence":"first","affiliation":[]},{"given":"Steve","family":"Reeves","sequence":"additional","affiliation":[]},{"given":"Judy","family":"Bowen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,8,13]]},"reference":[{"key":"34_CR1","unstructured":"Arney, D., Jetley, R., Jones, P., Lee, I., Sokolsky, O.: Formal methods based development of a PCA infusion pump reference model: generic infusion pump (GIP) project. In: Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability, 2007. HCMDSS-MDPnP, pp. 23\u201333. IEEE (2007)"},{"key":"34_CR2","doi-asserted-by":"crossref","unstructured":"Barbosa, P.E., et al.: Towards medical device behavioural validation using petri nets. In: 2013 IEEE 26th International Symposium on Computer-Based Medical Systems (CBMS), pp. 4\u201310. IEEE (2013)","DOI":"10.1109\/CBMS.2013.6627756"},{"key":"34_CR3","unstructured":"Boudi, Z., Collart-Dutilleul, S., Khaddour, M., et al.: High level Petri Net modeling for railway safety critical scenarios. In: 10th FORMS-FORMAT symposium, Formal Methods for Automation and Safety in Railway and Automotive Systems, pp. p65\u201375 (2014)"},{"key":"34_CR4","unstructured":"Bowen, J.A.: Formal specification of user interface design guidelines. Ph.D. thesis, Citeseer (2005)"},{"key":"34_CR5","doi-asserted-by":"crossref","unstructured":"Bowen, J., Reeves, S.: Using formal models to design user interfaces: a case study. In: Proceedings of the 21st British HCI Group Annual Conference on People and Computers: HCI...but not as we know it-Volume 1, pp. 159\u2013166. British Computer Society (2007)","DOI":"10.14236\/ewic\/HCI2007.16"},{"issue":"2","key":"34_CR6","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/s11334-008-0049-0","volume":"4","author":"J Bowen","year":"2008","unstructured":"Bowen, J., Reeves, S.: Formal models for user interface design artefacts. Innovations Syst. Softw. Eng. 4(2), 125\u2013141 (2008). https:\/\/doi.org\/10.1007\/s11334-008-0049-0","journal-title":"Innovations Syst. Softw. Eng."},{"key":"34_CR7","doi-asserted-by":"crossref","unstructured":"Bowen, J., Reeves, S.: Modelling user manuals of modal medical devices and learning from the experience. In: Proceedings of the 4th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, pp. 121\u2013130. ACM (2012)","DOI":"10.1145\/2305484.2305505"},{"issue":"EICS","key":"34_CR8","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1145\/3095807","volume":"1","author":"J Bowen","year":"2017","unstructured":"Bowen, J., Reeves, S.: Generating obligations, assertions and tests from UI models. Proc. ACM on Hum. Comput. Interact. 1(EICS), 5 (2017)","journal-title":"Proc. ACM on Hum. Comput. Interact."},{"key":"34_CR9","first-page":"16","volume":"45","author":"JC Campos","year":"2011","unstructured":"Campos, J.C., Harrison, M.: Modelling and analysing the interactive behaviour of an infusion pump. Electron. Commun. EASST 45, 16 (2011)","journal-title":"Electron. Commun. EASST"},{"key":"34_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-5355-9","volume-title":"Refinement in Z and Object-Z: Foundations and Advanced Applications","author":"J Derrick","year":"2014","unstructured":"Derrick, J., Boiten, E.A.: Refinement in Z and Object-Z: Foundations and Advanced Applications. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-1-4471-5355-9"},{"key":"34_CR11","unstructured":"Dix, A.J., Runciman, C.: Abstract models of interactive systems. In: People and Computers: Designing the interface, pp. 13\u201322 (1985)"},{"key":"34_CR12","unstructured":"Electronics, C.M.: Niki T34 syringe pump instruction manual. ref. 100\u2013090SS Edition (2008)"},{"issue":"4","key":"34_CR13","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1145\/2163.358093","volume":"26","author":"RJ Jacob","year":"1983","unstructured":"Jacob, R.J.: Using formal specifications in the design of a human-computer interface. Commun. ACM 26(4), 259\u2013264 (1983)","journal-title":"Commun. ACM"},{"key":"34_CR14","doi-asserted-by":"crossref","unstructured":"Jaidka, S., Reeves, S., Bowen, J.: Modelling safety-critical devices: coloured petri nets and Z. In: Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, pp. 51\u201356. ACM (2017)","DOI":"10.1145\/3102113.3102125"},{"key":"34_CR15","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1007\/978-3-662-03241-1","volume-title":"Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use","author":"K Jensen","year":"2013","unstructured":"Jensen, K.: Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, vol. 1, p. 234. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-662-03241-1"},{"issue":"3\u20134","key":"34_CR16","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/s10009-007-0038-x","volume":"9","author":"K Jensen","year":"2007","unstructured":"Jensen, K., Kristensen, L.M., Wells, L.: Coloured Petri Nets and CPN tools for modelling and validation of concurrent systems. Int. J. Softw. Tools Technol. Transfer 9(3\u20134), 213\u2013254 (2007). https:\/\/doi.org\/10.1007\/s10009-007-0038-x","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"issue":"2","key":"34_CR17","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/s100090050021","volume":"2","author":"LM Kristensen","year":"1998","unstructured":"Kristensen, L.M., Christensen, S., Jensen, K.: The practitioner\u2019s guide to coloured Petri Nets. Int. J. Softw. Tools Technol. Transf. (STTT) 2(2), 98\u2013132 (1998)","journal-title":"Int. J. Softw. Tools Technol. Transf. (STTT)"},{"key":"34_CR18","unstructured":"Kummer, O., Wienberg, F., Duvigneau, M., K\u00f6hler, M., Moldt, D., R\u00f6lke, H.: Renew-the reference net workshop. In: Tool Demonstrations, 21st International Conference on Application and Theory of Petri Nets, Computer Science Department, Aarhus University, Aarhus, Denmark, pp. 87\u201389 (2000)"},{"key":"34_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/3-540-60029-9_45","volume-title":"Application and Theory of Petri Nets 1995","author":"C Lakos","year":"1995","unstructured":"Lakos, C.: From coloured Petri Nets to object Petri Nets. In: De Michelis, G., Diaz, M. (eds.) ICATPN 1995. LNCS, vol. 935, pp. 278\u2013297. Springer, Heidelberg (1995). https:\/\/doi.org\/10.1007\/3-540-60029-9_45"},{"key":"34_CR20","doi-asserted-by":"crossref","unstructured":"Martinie, C., Navarre, D., Palanque, P., Fayollas, C.: A generic tool-supported framework for coupling task models and interactive applications. In: Proceedings of the 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, pp. 244\u2013253. ACM (2015)","DOI":"10.1145\/2774225.2774845"},{"key":"34_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/978-3-642-40793-2_21","volume-title":"Computer Safety, Reliability, and Security","author":"P Masci","year":"2013","unstructured":"Masci, P., Ayoub, A., Curzon, P., Lee, I., Sokolsky, O., Thimbleby, H.: Model-based development of the generic PCA infusion pump user interface prototype in PVS. In: Bitsch, F., Guiochet, J., Ka\u00e2niche, M. (eds.) SAFECOMP 2013. LNCS, vol. 8153, pp. 228\u2013240. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-40793-2_21"},{"issue":"4","key":"34_CR22","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1145\/1614390.1614393","volume":"16","author":"D Navarre","year":"2009","unstructured":"Navarre, D., Palanque, P., Ladry, J.F., Barboni, E.: ICOs: a model-based user interface description technique dedicated to interactive systems addressing usability, reliability and scalability. ACM Trans. Comput. Hum. Interact. (TOCHI) 16(4), 18 (2009)","journal-title":"ACM Trans. Comput. Hum. Interact. (TOCHI)"},{"key":"34_CR23","first-page":"12","volume":"69","author":"R Ruk\u0161\u0117nas","year":"2014","unstructured":"Ruk\u0161\u0117nas, R., Masci, P., Harrison, M.D., Curzon, P.: Developing and verifying user interface requirements for infusion pumps: a refinement approach. Electron. Commun. EASST 69, 12 (2014)","journal-title":"Electron. Commun. EASST"},{"key":"34_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1007\/978-3-642-16488-0_2","volume-title":"Human-Centred Software Engineering","author":"JL Silva","year":"2010","unstructured":"Silva, J.L., Ribeiro, \u00d3.R., Fernandes, J.M., Campos, J.C., Harrison, M.D.: The APEX framework: prototyping of ubiquitous environments based on Petri Nets. In: Bernhaupt, R., Forbrig, P., Gulliksen, J., L\u00e1rusd\u00f3ttir, M. (eds.) HCSE 2010. LNCS, vol. 6409, pp. 6\u201321. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-16488-0_2"},{"key":"34_CR25","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/978-1-4615-5265-9","volume-title":"The Object-Z Specification Language","author":"G Smith","year":"2012","unstructured":"Smith, G.: The Object-Z Specification Language, vol. 1, 1st edn, p. 146. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-1-4615-5265-9","edition":"1"},{"key":"34_CR26","unstructured":"Turner, J.D.: Supporting interactive system testing with interaction sequences. Ph.D. thesis, The University of Waikato (2019)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods. FM 2019 International Workshops"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-54994-7_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,11,6]],"date-time":"2022-11-06T19:03:34Z","timestamp":1667761414000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-54994-7_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030549930","9783030549947"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-54994-7_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"13 August 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Porto","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portugal","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 October 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 October 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fm2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/formalmethods2019.inesctec.pt\/?page_id=84","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"129","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"44","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"7","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"34% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"5,5","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}