{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T01:41:19Z","timestamp":1742953279657,"version":"3.40.3"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031763700"},{"type":"electronic","value":"9783031763717"}],"license":[{"start":{"date-parts":[[2024,12,21]],"date-time":"2024-12-21T00:00:00Z","timestamp":1734739200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,12,21]],"date-time":"2024-12-21T00:00:00Z","timestamp":1734739200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-76371-7_6","type":"book-chapter","created":{"date-parts":[[2024,12,20]],"date-time":"2024-12-20T07:45:51Z","timestamp":1734680751000},"page":"82-93","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Formal Approach for Modelling and Analysing Surgical Procedures"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0005-4512-7325","authenticated-orcid":false,"given":"Ioana","family":"Sandu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2875-6793","authenticated-orcid":false,"given":"Rita","family":"Borgo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8690-0445","authenticated-orcid":false,"given":"Prokar","family":"Dasgupta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ramesh","family":"Thurairaja","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9916-271X","authenticated-orcid":false,"given":"Luca","family":"Vigan\u00f3","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,12,21]]},"reference":[{"key":"6_CR1","doi-asserted-by":"publisher","first-page":"270","DOI":"10.1016\/j.apergo.2018.02.011","volume":"78","author":"K Catchpole","year":"2019","unstructured":"Catchpole, K., et al.: Human factors in robotic assisted surgery: lessons from studies \u2018in the Wild\u2019. Appl. Ergon. 78, 270\u2013276 (2019)","journal-title":"Appl. Ergon."},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Curzon, P., Ruk\u0161\u0117nas, R.: Modelling the user. In: The Handbook of Formal Methods in Human-Computer Interaction, pp. 211\u2013245. Springer (2017)","DOI":"10.1007\/978-3-319-51838-1_8"},{"issue":"6","key":"6_CR3","doi-asserted-by":"publisher","first-page":"1643","DOI":"10.1016\/S0022-5347(05)67512-X","volume":"163","author":"B Guillonneau","year":"2000","unstructured":"Guillonneau, B., Vallancien, G.: Laparoscopic radical prostatectomy: the montsouris technique. J. Urol. 163(6), 1643\u20131649 (2000)","journal-title":"J. Urol."},{"key":"6_CR4","unstructured":"Larsen, K.G., Pettersson, P., Yi, W.: UPPAAL (1995). https:\/\/uppaal.org"},{"issue":"4","key":"6_CR5","doi-asserted-by":"publisher","first-page":"583","DOI":"10.1016\/j.eururo.2020.07.017","volume":"78","author":"A Martini","year":"2020","unstructured":"Martini, A., et al.: Contemporary techniques of prostate dissection for robot-assisted prostatectomy. Eur. Urol. 78(4), 583\u2013591 (2020)","journal-title":"Eur. Urol."},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Moschovas, M.C., Patel, V.: Neurovascular bundle preservation in robotic-assisted radical prostatectomy: how i do it after 15.000 cases. Int. Braz. J. Urol. 48 (2022)","DOI":"10.1590\/s1677-5538.ibju.2022.99.04"},{"issue":"3","key":"6_CR7","first-page":"123","volume":"2","author":"T Neumuth","year":"2017","unstructured":"Neumuth, T.: Surgical process modeling. Innov. Surg. Sci. 2(3), 123\u2013137 (2017)","journal-title":"Innov. Surg. Sci."},{"key":"6_CR8","unstructured":"Sandu, I., Borgo, R., Dasgupta, P., Thurairaja, R., Vigan\u00f2, L.: A Formal Approach For Modelling And Analysing Surgical Procedures (Extended Version) (2024). https:\/\/arxiv.org\/abs\/2408.05001"},{"issue":"4","key":"6_CR9","doi-asserted-by":"publisher","first-page":"293","DOI":"10.3233\/JCS-210075","volume":"31","author":"D Sempreboni","year":"2023","unstructured":"Sempreboni, D., Vigan\u00f2, L.: A mutation-based approach for the formal and automated analysis of security ceremonies. J. Comput. Secur. 31(4), 293\u2013364 (2023)","journal-title":"J. Comput. Secur."},{"issue":"2","key":"6_CR10","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1136\/bmjqs-2017-006701","volume":"27","author":"K Sexton","year":"2018","unstructured":"Sexton, K., et al.: Anticipation, teamwork and cognitive load: chasing efficiency during robot-assisted surgery. BMJ Qual. Saf. 27(2), 148\u2013154 (2018)","journal-title":"BMJ Qual. Saf."},{"issue":"12","key":"6_CR11","doi-asserted-by":"publisher","first-page":"2177","DOI":"10.1007\/s00192-019-03929-6","volume":"30","author":"CP Souders","year":"2019","unstructured":"Souders, C.P., et al.: Flow disruptions in robotic-assisted abdominal sacrocolpopexy: does robotic surgery introduce unforeseen challenges for gynecologic surgeons? Int. Urogynecol. J. 30(12), 2177\u20132182 (2019)","journal-title":"Int. Urogynecol. J."},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Tzelves, L., Protogerou, V., Varkarakis, I.: Denonvilliers\u2019 fascia: the prostate border to the outside world. Cancers 14(3) (2022)","DOI":"10.3390\/cancers14030688"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Vigan\u00f2, L.: Formal Methods for Socio-technical Security (Formal and Automated Analysis of Security Ceremonies). In: Coordination. LNCS, vol. 13271. Springer, Cham (2022)","DOI":"10.1007\/978-3-031-08143-9_1"},{"issue":"6","key":"6_CR14","doi-asserted-by":"publisher","first-page":"968","DOI":"10.1111\/bju.13785","volume":"119","author":"A Villers","year":"2017","unstructured":"Villers, A., et al.: Robot-assisted partial prostatectomy for anterior prostate cancer: a step-by-step guide. BJU Int. 119(6), 968\u2013974 (2017)","journal-title":"BJU Int."},{"key":"6_CR15","doi-asserted-by":"publisher","first-page":"3599","DOI":"10.1007\/s00268-018-4689-4","volume":"42","author":"J Weber","year":"2018","unstructured":"Weber, J., et al.: Effects of flow disruptions on mental workload and surgical performance in robotic-assisted surgery. World J. Surg. 42, 3599\u20133607 (2018)","journal-title":"World J. Surg."},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Weigl, M., et\u00a0al.: Associations of intraoperative flow disruptions and operating room teamwork during robotic-assisted radical prostatectomy. Urology 114 (2018)","DOI":"10.1016\/j.urology.2017.11.060"},{"issue":"2","key":"6_CR17","doi-asserted-by":"publisher","first-page":"300","DOI":"10.1111\/bju.15111","volume":"126","author":"X Zhou","year":"2020","unstructured":"Zhou, X., et al.: Transvesical robot-assisted radical prostatectomy: initial experience and surgical outcomes. BJU Int. 126(2), 300\u2013308 (2020)","journal-title":"BJU Int."}],"container-title":["Lecture Notes in Computer Science","Security and Trust Management"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-76371-7_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,20]],"date-time":"2024-12-20T08:04:34Z","timestamp":1734681874000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-76371-7_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,12,21]]},"ISBN":["9783031763700","9783031763717"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-76371-7_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024,12,21]]},"assertion":[{"value":"21 December 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"STM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Security and Trust Management","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Bydgoszcz","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Poland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 September 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 September 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"stm2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.nics.uma.es\/stm2024\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}