{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,13]],"date-time":"2025-10-13T09:04:35Z","timestamp":1760346275794},"reference-count":56,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2013,11,1]],"date-time":"2013-11-01T00:00:00Z","timestamp":1383264000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Ind. Inf."],"published-print":{"date-parts":[[2013,11]]},"DOI":"10.1109\/tii.2012.2205399","type":"journal-article","created":{"date-parts":[[2012,6,20]],"date-time":"2012-06-20T19:36:45Z","timestamp":1340221005000},"page":"1806-1818","source":"Crossref","is-referenced-by-count":18,"title":["Combining UML-MARTE and Preemptive Time Petri Nets: An Industrial Case Study"],"prefix":"10.1109","volume":"9","author":[{"given":"Irene","family":"Bicchierai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giacomo","family":"Bucci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laura","family":"Carnevali","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enrico","family":"Vicario","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","year":"2005","journal-title":"?UML Profile for Schedulability Performance and Time Specification ?"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2002.1167702"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805824"},{"key":"ref32","year":"0","journal-title":"?Palladio A Software Architecture Simulation Approach ?"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1049\/ic:20060141"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805825"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/TCOM.1976.1093424"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2004.1348057"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-008-9059-0"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/11783565_25"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/584408.584411"},{"key":"ref27","year":"2010","journal-title":"MPC5200B Data Sheet"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2006.07.023"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.9"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/3-540-45351-2_7","volume":"2034","author":"alur","year":"2001","journal-title":"Hybrid Systems Computation and Control"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.4"},{"key":"ref22","year":"1997","journal-title":"?EN 50128 ? Railway Applications SW for Railway Control and Protection Systems ?"},{"key":"ref21","volume":"1877","author":"cassez","year":"2000","journal-title":"The Impressive Power of Stopwatches"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(02)00033-3"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2004.1342751"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.10"},{"key":"ref25","year":"0","journal-title":"?RTAI Real Time Application Interface for Linux ?"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1145\/1071021.1071030"},{"key":"ref51","year":"0","journal-title":"Simulink"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1145\/1071021.1071022"},{"key":"ref55","year":"0","journal-title":"Vxworks"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1145\/1347375.1347389"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/32.940727"},{"key":"ref52","year":"1994","journal-title":"?Military Standard for Software Development and Documentation ?"},{"key":"ref10","first-page":"173","volume":"2459","author":"bernardo","year":"2002","journal-title":"Performance Evaluation of Complex Systems Techniques and Tools"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/32.75415"},{"key":"ref40","year":"2009","journal-title":"?UML Profile for MARTE Modeling and Analysis of Real-Time Embedded Systems v1 0 ?"},{"key":"ref12","first-page":"41","article-title":"An enumerative approach for analyzing time Petri Nets","volume":"9","author":"berthomieu","year":"1983","journal-title":"Inf Process Proc IFIP Congress"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2010.5641836"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-010-0156-8"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/EMRTS.2003.1212753"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.1265815"},{"key":"ref17","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/997119.997120","article-title":"Guide on the use of the ADA Ravenscar profile in high integrity systems","volume":"xxiv","author":"burns","year":"2004","journal-title":"Ada Lett"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/0-387-27578-9"},{"key":"ref19","year":"1997","journal-title":"?V-Model 97 Lifecycle Process Model-Developing Standard for IT Systems of the Federal Republic of Germany ?"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/74878.74879","article-title":"A laboratory for teaching object oriented thinking","volume":"24","author":"beck","year":"1989","journal-title":"SIGPLAN Not"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/EUROMICRO.2006.34"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2010.2098415"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2008.03.066"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2007.02.029"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/584369.584376"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/12.57058"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2379776.2379778"},{"key":"ref46","year":"1992","journal-title":"?DO-178B Software Considerations in Airborne Systems and Equipment Certification ?"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-006-0026-8"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.58"},{"key":"ref47","year":"2009","journal-title":"?ECSS-E-ST-40C Space Engineering Software ?"},{"key":"ref42","year":"2009","journal-title":"Unified Modeling Language Superstructure"},{"key":"ref41","year":"2009","journal-title":"Unified Modeling Language Infrastructure"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/32.881717"},{"key":"ref43","first-page":"371","article-title":"Time Petri Nets with inhibitor hyperarcs: Formal semantics and state-space computation","volume":"3099","author":"olivier","year":"2004","journal-title":"Proc 24th Int Conf Applications and Theory of Petri Nets"}],"container-title":["IEEE Transactions on Industrial Informatics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9424\/6631519\/06221992.pdf?arnumber=6221992","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,29]],"date-time":"2021-11-29T20:45:39Z","timestamp":1638218739000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6221992\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11]]},"references-count":56,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/tii.2012.2205399","relation":{},"ISSN":["1551-3203","1941-0050"],"issn-type":[{"value":"1551-3203","type":"print"},{"value":"1941-0050","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,11]]}}}