{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T15:31:06Z","timestamp":1759332666214},"reference-count":91,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2022]]},"DOI":"10.1109\/tse.2021.3125720","type":"journal-article","created":{"date-parts":[[2021,11,8]],"date-time":"2021-11-08T22:05:15Z","timestamp":1636409115000},"page":"1-1","source":"Crossref","is-referenced-by-count":6,"title":["Compositional Analysis of Hierarchical UML Statecharts"],"prefix":"10.1109","author":[{"given":"Laura","family":"Carnevali","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Reinhard","family":"German","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesco","family":"Santoni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enrico","family":"Vicario","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref73","year":"2012","journal-title":"DO-178B Software Considerations in Airborne Systems and Equipment Certification"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1016\/S0166-5316(97)00013-8"},{"key":"ref71","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1049\/ip-sen:19990151","article-title":"the unified modelling language and performance engineering","volume":"146","author":"pooley","year":"1999","journal-title":"Software IEE Proceedings-"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1109\/EDCC53658.2021.00011"},{"key":"ref76","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-12-802301-3.00012-0"},{"key":"ref77","year":"2021"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1016\/j.cosrev.2015.03.001"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1016\/j.peva.2011.11.002"},{"key":"ref75","article-title":"Model-driven engineering","volume":"39","author":"schmidt","year":"2006","journal-title":"IEEE Comput Soc Comput"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-31559-1_9"},{"key":"ref78","year":"2021"},{"key":"ref79","author":"stewart","year":"1994","journal-title":"Introduction to the Numerical Solution of Markov Chains"},{"key":"ref33","author":"haas","year":"2002","journal-title":"Stochastic Petri Nets Modelling Stability Simulation"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/5.21067"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/0166-5316(94)90020-5"},{"key":"ref30","author":"german","year":"2000","journal-title":"Performance Analysis of Communication Systems with Non-Markovian Stochastic Petri Nets"},{"key":"ref37","author":"hillston","year":"2005","journal-title":"A Compositional Approach to Performance Modelling"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24622-0_8"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1093\/biomet\/57.1.97"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45177-3_10"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1109\/MASCOTS.2016.72"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1145\/190.191"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-011-0111-1"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2008.74"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2002.1167702"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2016.09.022"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1063\/1.1699114"},{"key":"ref66","first-page":"9","article-title":"Stochastic reward nets for reliability prediction","volume":"1","author":"muppala","year":"1994","journal-title":"Communications in Reliability Maintainability and Serviceability"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/SEAA.2012.35"},{"key":"ref67","year":"2009","journal-title":"UML Profile for MARTE Modeling and Analysis of Real-Time Embedded Systems v1 0"},{"key":"ref68","year":"2017","journal-title":"OMG System Modeling Language"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2019.2917202"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2004.2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-30599-8_9"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/32.297939"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1287\/mnsc.21.7.727"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.peva.2005.06.001"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63390-9_31"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.cl.2015.06.001"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-22264-6_12"},{"key":"ref25","article-title":"UIC, ERTMS\/ETCS System Requirements Specification","year":"0"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1201\/9781315367910"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_47"},{"key":"ref91","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66335-7_19"},{"key":"ref90","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2015.2475957"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1016\/j.peva.2012.09.003"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1109\/WOSAR.2010.5722098"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1093\/biomet\/65.2.297"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/DASC\/PiCom\/CBDCom\/CyberSciTech.2019.00132"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1145\/584369.584375"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1016\/S0166-5316(99)00020-6"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1145\/288197.581195"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16612-9_11"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3284037"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-02227-3_5"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/EURMIC.2001.952455"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/IPDS.1995.395811"},{"key":"ref13","first-page":"265","article-title":"Dependability analysis in the early phases of UML-based system design","volume":"16","author":"bondavalli","year":"2001","journal-title":"Comput Syst Sci Eng"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/EDCC.2018.00019"},{"key":"ref15","author":"bucklew","year":"2013","journal-title":"Introduction to Rare Event Simulation"},{"key":"ref82","doi-asserted-by":"publisher","DOI":"10.1145\/1190095.1190138"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-45190-5_26"},{"key":"ref81","doi-asserted-by":"publisher","DOI":"10.1145\/1530873.1530884"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1002\/9781119121534"},{"key":"ref84","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2009.36"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2008.101"},{"key":"ref83","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2005.441"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/0166-5316(94)90021-3"},{"key":"ref80","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2008.18"},{"key":"ref89","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45657-0_17"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2010.2098415"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.9"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-018-0663-8"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/584369.584376"},{"key":"ref85","doi-asserted-by":"publisher","DOI":"10.1016\/j.cor.2005.02.018"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39512-3"},{"key":"ref86","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02742-0_22"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-009-0128-1"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1016\/j.peva.2009.07.007"},{"key":"ref87","doi-asserted-by":"publisher","DOI":"10.1287\/opre.30.1.125"},{"key":"ref88","author":"younes","year":"2004","journal-title":"Verification and planning for stochastic processes with asynchronous events"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66335-7_2"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-85172-9_6"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/3310226"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46429-8_19"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1016\/j.peva.2010.04.001"},{"key":"ref42","year":"2000","journal-title":"ISO 9241 Ergonomics Requirements for Office Work with Visual Display Terminal (VDT)"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/45.3.260"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45221-8_7"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45739-9_21"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/32\/4359463\/09606549.pdf?arnumber=9606549","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,13]],"date-time":"2022-12-13T17:08:01Z","timestamp":1670951281000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9606549\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"references-count":91,"URL":"https:\/\/doi.org\/10.1109\/tse.2021.3125720","relation":{},"ISSN":["0098-5589","1939-3520","2326-3881"],"issn-type":[{"value":"0098-5589","type":"print"},{"value":"1939-3520","type":"electronic"},{"value":"2326-3881","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022]]}}}