{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T04:53:05Z","timestamp":1749099185912,"version":"3.40.3"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030948757"},{"type":"electronic","value":"9783030948764"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-030-94876-4_7","type":"book-chapter","created":{"date-parts":[[2022,1,18]],"date-time":"2022-01-18T08:20:02Z","timestamp":1642494002000},"page":"111-126","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Transforming Medical Resource Utilization Process to Verifiable Timed Automata Models in Cyber-Physical Systems"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4845-6395","authenticated-orcid":false,"given":"Rizwan","family":"Parveen","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5395-4962","authenticated-orcid":false,"given":"Neena","family":"Goveas","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,1,17]]},"reference":[{"key":"7_CR1","doi-asserted-by":"publisher","unstructured":"Porres, I., Dom\u00ednguez, E., P\u00e9rez, B., Rodr\u00edguez, \u00c1., Zapata, M.A.: A model driven approach to automate the implementation of clinical guidelines in decision support systems. In: 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS 2008), pp. 210\u2013218 (2008). https:\/\/doi.org\/10.1109\/ECBS.2008.35","DOI":"10.1109\/ECBS.2008.35"},{"key":"7_CR2","doi-asserted-by":"publisher","unstructured":"Bernardi, S., Colom, J., Albareda, J., Mahulea, C.: A model-based approach for the specification and verification of clinical guidelines. In: Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA), pp. 1\u20138 (2014). https:\/\/doi.org\/10.1109\/ETFA.2014.7005058","DOI":"10.1109\/ETFA.2014.7005058"},{"key":"7_CR3","unstructured":"Heiden, K.: Model-based integration of clinical practice guidelines in clinical pathways. In: CAiSE (2012)"},{"key":"7_CR4","doi-asserted-by":"publisher","unstructured":"Guo, C., Fu, Z., Ren, S., Jiang, Y., Rahmaniheris, M., Sha, L.: Pattern-based statechart modeling approach for medical best practice guidelines - a case study. In: 2017 IEEE 30th International Symposium on Computer-Based Medical Systems (CBMS), pp. 117\u2013122 (2017). https:\/\/doi.org\/10.1109\/CBMS.2017.14","DOI":"10.1109\/CBMS.2017.14"},{"key":"7_CR5","unstructured":"UPPAAL Homepage. https:\/\/uppaal.org\/. Accessed 21 May 2021"},{"key":"7_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/978-3-319-19458-5_4","volume-title":"Formal Methods for Industrial Critical Systems","author":"JH Kim","year":"2015","unstructured":"Kim, J.H., Larsen, K.G., Nielsen, B., Miku\u010dionis, M., Olsen, P.: Formal analysis and testing of real-time automotive systems using UPPAAL tools. In: N\u00fa\u00f1ez, M., G\u00fcdemann, M. (eds.) FMICS 2015. LNCS, vol. 9128, pp. 47\u201361. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-19458-5_4"},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/978-3-642-28756-5_14","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"Z Jiang","year":"2012","unstructured":"Jiang, Z., Pajic, M., Moarref, S., Alur, R., Mangharam, R.: Modeling and verification of a dual chamber implantable pacemaker. In: Flanagan, C., K\u00f6nig, B. (eds.) TACAS 2012. LNCS, vol. 7214, pp. 188\u2013203. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-28756-5_14"},{"key":"7_CR8","doi-asserted-by":"publisher","unstructured":"Wetselaar, P., Lobbezoo, F., de Jong, P., Choudry, U., van Rooijen, J., Langerak, R.: A methodology for evaluating tooth wear monitoring using timed automata modelling. J. Oral Rehabil. 47(3), 353\u2013360 (2020). https:\/\/doi.org\/10.1111\/joor.12908. Epub 5 Dec 2019. PMID: 31721264; PMCID: PMC7027495","DOI":"10.1111\/joor.12908"},{"key":"7_CR9","unstructured":"Behrmann, G., David, A., Larsen, K.G.: A tutorial on UPPAAL 4.0 (Updated November 28, 2006). Extended version of \u2018A Tutorial on Uppaal\u2019. In: Bernardo, M., Corradini, F. (eds.) Formal Methods for the Design of Real-Time Systems. SFM-RT 2004. LNCS, vol. 3185. Springer, Heidelberg (2004). https:\/\/www.it.uu.se\/research\/group\/darts\/papers\/texts\/new-tutorial.pdf"},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/978-3-030-03427-6_18","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice","author":"KG Larsen","year":"2018","unstructured":"Larsen, K.G., Lorber, F., Nielsen, B.: 20 Years of UPPAAL enabled industrial model-based validation and beyond. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11247, pp. 212\u2013229. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-03427-6_18"},{"key":"7_CR11","doi-asserted-by":"publisher","unstructured":"Lee, E.A.: Cyber physical systems: design challenges. In: 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC), pp. 363\u2013369 (2008). https:\/\/doi.org\/10.1109\/ISORC.2008.25","DOI":"10.1109\/ISORC.2008.25"},{"key":"7_CR12","doi-asserted-by":"publisher","unstructured":"Lee, I., et al.: Challenges and research directions in medical cyber\u2013physical systems. In: Proceedings of the IEEE, vol. 100, no. 1, pp. 75\u201390, January 2012. https:\/\/doi.org\/10.1109\/JPROC.2011.2165270","DOI":"10.1109\/JPROC.2011.2165270"},{"key":"7_CR13","doi-asserted-by":"publisher","unstructured":"Derler, P., Lee, E.A., Sangiovanni Vincentelli, A.: Modeling cyber\u2013physical systems. In: Proceedings of the IEEE, vol. 100, no. 1, pp. 13\u201328, January 2012. https:\/\/doi.org\/10.1109\/JPROC.2011.2160929","DOI":"10.1109\/JPROC.2011.2160929"},{"key":"7_CR14","unstructured":"Quadri, I., Bagnato, A., Brosse, E., Sadovykh, A.: Modeling methodologies for cyber-physical systems: research field study on inherent and future challenges. Ada User J.\u00a036, 246\u2013253 (2016)"},{"key":"7_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/978-3-642-02674-4_8","volume-title":"Model Driven Architecture - Foundations and Applications","author":"H Espinoza","year":"2009","unstructured":"Espinoza, H., Cancila, D., Selic, B., G\u00e9rard, S.: Challenges in combining SysML and MARTE for model-based design of embedded systems. In: Paige, R.F., Hartman, A., Rensink, A. (eds.) ECMDA-FA 2009. LNCS, vol. 5562, pp. 98\u2013113. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-02674-4_8"},{"key":"7_CR16","doi-asserted-by":"publisher","first-page":"100","DOI":"10.4230\/OASIcs.MCPS.2014.100","volume":"36","author":"X Ma","year":"2014","unstructured":"Ma, X., Rinast, J., Schupp, S., Gollmann, D.: Evaluating on-line model checking in UPPAAL-SMC using a laser tracheotomy case study. OpenAccess Ser. Inform. 36, 100\u2013112 (2014). https:\/\/doi.org\/10.4230\/OASIcs.MCPS.2014.100","journal-title":"OpenAccess Ser. Inform."},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Bouyer, P.: Model-checking timed temporal logics. Electron. Notes Theor. Comput. Sci. 231, 323\u2013341 (2009). ISSN 1571-0661","DOI":"10.1016\/j.entcs.2009.02.044"},{"key":"7_CR18","doi-asserted-by":"publisher","unstructured":"Shuhao, L., Balaguer, S., David, A., Larsen, K., Nielsen, B., Pusinskas, S.: Scenario-based verification of real-time systems using UPPAAL. Formal Methods Syst. Des. 37, 200\u2013264. (2010). https:\/\/doi.org\/10.1007\/s10703-010-0103-z","DOI":"10.1007\/s10703-010-0103-z"},{"key":"7_CR19","doi-asserted-by":"publisher","unstructured":"Bouyer, P., Laroussinie, F.: Model checking timed automata. In: Merz, S., Navet, N. (eds.) Modeling and Verification of Real-Time Systems, Chap. 4 (2008). https:\/\/doi.org\/10.1002\/9780470611012","DOI":"10.1002\/9780470611012"}],"container-title":["Lecture Notes in Computer Science","Distributed Computing and Intelligent Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-94876-4_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,18]],"date-time":"2022-01-18T08:23:17Z","timestamp":1642494197000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-94876-4_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783030948757","9783030948764"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-94876-4_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"17 January 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICDCIT","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Distributed Computing and Internet Technology","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Bhubaneswar","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"India","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 January 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23 January 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icdcit2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.icdcit.ac.in\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-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":"50","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":"11","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":"4","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":"22% - 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":"3.2","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":"2.7","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":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Additionally, 4 invited papers are included.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}