{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,2]],"date-time":"2025-09-02T00:03:53Z","timestamp":1756771433288,"version":"3.44.0"},"reference-count":19,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,10,1]],"date-time":"2019-10-01T00:00:00Z","timestamp":1569888000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,10,1]],"date-time":"2019-10-01T00:00:00Z","timestamp":1569888000000},"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":[[2019,10]]},"DOI":"10.1109\/ds-rt47707.2019.8958707","type":"proceedings-article","created":{"date-parts":[[2020,1,16]],"date-time":"2020-01-16T21:10:00Z","timestamp":1579209000000},"page":"1-8","source":"Crossref","is-referenced-by-count":0,"title":["Formal Modelling and Verification of Real-Time Self-Adaptive Systems"],"prefix":"10.1109","author":[{"given":"Franco","family":"Cicirelli","sequence":"first","affiliation":[{"name":"Institute for High Performance Computing and Networking (ICAR),CNR - National Research Council of Italy,Rende,CS,Italy,87036"}]},{"given":"Libero","family":"Nigro","sequence":"additional","affiliation":[{"name":"University of Calabria,DIMES - Department of Informatics Modelling Electronics and Systems Science,Rende,CS,Italy,87036"}]},{"given":"Francesco","family":"Pupo","sequence":"additional","affiliation":[{"name":"University of Calabria,DIMES - Department of Informatics Modelling Electronics and Systems Science,Rende,CS,Italy,87036"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2018.03.002"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/32.67597"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-014-0361-y"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3158668"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TCOM.1976.1093424"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/32.75415"},{"key":"ref16","article-title":"Formal modelling and analysis of probabilistic real-time systems","author":"nigro","year":"2019","journal-title":"International Congress of Information and Communication Technology (ICICT"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/DISTRA.2018.8600934"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.simpat.2018.07.011"},{"key":"ref19","first-page":"7-8","author":"carullo","year":"2003","journal-title":"Modelling and simulation of complex systems using TPN Designer Simulation Modelling Practice and Theory"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134337"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.91.4"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1774088.1774613"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/978-3-540-30080-9_7","article-title":"A tutorial on UPPAAL. In Formal Methods for the Design of Real-Time Systems","volume":"3185","author":"behrmann","year":"2004","journal-title":"Lecture Notes in Computer Science"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2018.05.034"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1075405.1075411"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2015.7381823"}],"event":{"name":"2019 IEEE\/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications (DS-RT)","start":{"date-parts":[[2019,10,7]]},"location":"Cosenza, Italy","end":{"date-parts":[[2019,10,9]]}},"container-title":["2019 IEEE\/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications (DS-RT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8955480\/8958648\/08958707.pdf?arnumber=8958707","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,1]],"date-time":"2025-09-01T19:22:02Z","timestamp":1756754522000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8958707\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,10]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/ds-rt47707.2019.8958707","relation":{},"subject":[],"published":{"date-parts":[[2019,10]]}}}