{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,18]],"date-time":"2026-04-18T16:43:47Z","timestamp":1776530627595,"version":"3.51.2"},"reference-count":12,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,4,3]],"date-time":"2024-04-03T00:00:00Z","timestamp":1712102400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,4,3]],"date-time":"2024-04-03T00:00:00Z","timestamp":1712102400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,4,3]]},"DOI":"10.1109\/ddecs60919.2024.10508922","type":"proceedings-article","created":{"date-parts":[[2024,4,30]],"date-time":"2024-04-30T17:35:37Z","timestamp":1714498537000},"page":"98-103","source":"Crossref","is-referenced-by-count":4,"title":["An Efficient Approach for STLs Development of Automotive SoCs Using Colored Petri Nets"],"prefix":"10.1109","author":[{"given":"Ernesto Cristopher Villegas","family":"Castillo","sequence":"first","affiliation":[{"name":"Cadence Design Systems,Munich,Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Felipe Augusto","family":"Da Silva","sequence":"additional","affiliation":[{"name":"Cadence Design Systems,Munich,Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Gla\u03b2","sequence":"additional","affiliation":[{"name":"Insritute of Embedded Systems\/Real-Time Systems, Ulm University,Ulm,Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.3390\/electronics11030319"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ETS48528.2020.9131568"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2018.2887225"},{"key":"ref4","article-title":"ISO 26262: Road vehicles-Functional safety","year":"2011","journal-title":"ISO"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/IISWC.2015.28"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2018.2818735"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/IOLTS.2009.5195981"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/VTS48691.2020.9107599"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/b978-0-12-800887-4.00011-0"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/bs.adcom.2014.10.003"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1145\/1530873.1530881","article-title":"Pipe2: a tool for the performance evaluation of generalised stochastic petri nets","volume":"36","author":"Dingle","year":"2009","journal-title":"SIGMETRICS Perform. Evaluation Rev."},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/DDECS57882.2023.10138942"}],"event":{"name":"2024 27th International Symposium on Design & Diagnostics of Electronic Circuits & Systems (DDECS)","location":"Kielce, Poland","start":{"date-parts":[[2024,4,3]]},"end":{"date-parts":[[2024,4,5]]}},"container-title":["2024 27th International Symposium on Design & Diagnostics of Electronic Circuits & Systems (DDECS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10508803\/10508898\/10508922.pdf?arnumber=10508922","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,3]],"date-time":"2024-05-03T18:26:55Z","timestamp":1714760815000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10508922\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4,3]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/ddecs60919.2024.10508922","relation":{},"subject":[],"published":{"date-parts":[[2024,4,3]]}}}