{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T01:25:32Z","timestamp":1740101132199,"version":"3.37.3"},"reference-count":12,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,10,13]],"date-time":"2022-10-13T00:00:00Z","timestamp":1665619200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,10,13]],"date-time":"2022-10-13T00:00:00Z","timestamp":1665619200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100002347","name":"BMBF","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100002347","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,10,13]]},"DOI":"10.1109\/memocode57689.2022.9954592","type":"proceedings-article","created":{"date-parts":[[2022,11,28]],"date-time":"2022-11-28T20:22:51Z","timestamp":1669666971000},"page":"1-5","source":"Crossref","is-referenced-by-count":2,"title":["Lifecycle-Based View on Cyber-Physical System Models Using Extended Hidden Markov Models"],"prefix":"10.1109","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5308-7010","authenticated-orcid":false,"given":"Matthias","family":"Schaffeld","sequence":"first","affiliation":[{"name":"University of Duisburg-Essen,Faculty of Engineering,Duisburg,Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3240-0952","authenticated-orcid":false,"given":"Rebecca","family":"Bernemann","sequence":"additional","affiliation":[{"name":"University of Duisburg-Essen,Faculty of Engineering,Duisburg,Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6594-326X","authenticated-orcid":false,"given":"Torben","family":"Weis","sequence":"additional","affiliation":[{"name":"University of Duisburg-Essen,Faculty of Engineering,Duisburg,Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4193-2889","authenticated-orcid":false,"given":"Barbara","family":"Konig","sequence":"additional","affiliation":[{"name":"University of Duisburg-Essen,Faculty of Engineering,Duisburg,Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6808-471X","authenticated-orcid":false,"given":"Viktor","family":"Matkovic","sequence":"additional","affiliation":[{"name":"University of Duisburg-Essen,Faculty of Engineering,Duisburg,Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","first-page":"28","article-title":"Cyber-physical Systems - concept, challenges and research areas","volume":"14","author":"sanislav","year":"2012","journal-title":"Control Engineering and Applied Informatics"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2502524.2502540"},{"key":"ref10","article-title":"The Viterbi algorithm","volume":"61","author":"f","year":"0","journal-title":"Proceedings of the IEEE"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TPAMI.1983.4767370"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1214\/aoms\/1177697196"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.5937\/fmet1904663P"},{"journal-title":"Probabilistic systems with hidden state and unobservable transitions","year":"2022","author":"bernemann","key":"ref12"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-08-051584-7.50027-9"},{"journal-title":"Statistical Methods for Speech Recognition","year":"1998","author":"jelinek","key":"ref7"},{"journal-title":"Introduction to Embedded Systems A Cyber-physical Systems Approach","year":"2016","author":"lee","key":"ref2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1967.1054010"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/3460418.3479314"}],"event":{"name":"2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)","start":{"date-parts":[[2022,10,13]]},"location":"Shanghai, China","end":{"date-parts":[[2022,10,14]]}},"container-title":["2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9954458\/9954381\/09954592.pdf?arnumber=9954592","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,19]],"date-time":"2022-12-19T20:08:55Z","timestamp":1671480535000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9954592\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,13]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/memocode57689.2022.9954592","relation":{},"subject":[],"published":{"date-parts":[[2022,10,13]]}}}