{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,16]],"date-time":"2025-07-16T12:11:53Z","timestamp":1752667913289},"reference-count":0,"publisher":"SCITEPRESS - Science and Technology Publications","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.5220\/0010812200003119","type":"proceedings-article","created":{"date-parts":[[2022,2,14]],"date-time":"2022-02-14T15:58:30Z","timestamp":1644854310000},"page":"182-193","source":"Crossref","is-referenced-by-count":4,"title":["Verifiable Executable Models for Decomposable Real-time Systems"],"prefix":"10.5220","author":[{"given":"Callum","family":"McColl","sequence":"first","affiliation":[{"name":"School of Information and Communication Technology, Griffith University, Brisbane, Australia, --- Select a Country ---"}]},{"given":"Vladimir","family":"Estivill-Castro","sequence":"additional","affiliation":[{"name":"Departament de Tecnologies de la Informaci\u00f3 i les Comunicacions, Universitat Pompeu Fabra, Barcelona 08018, Spain, --- Select a Country ---"}]},{"given":"Morgan","family":"McColl","sequence":"additional","affiliation":[{"name":"School of Information and Communication Technology, Griffith University, Brisbane, Australia, --- Select a Country ---"}]},{"given":"Ren\u00e9","family":"Hexel","sequence":"additional","affiliation":[{"name":"School of Information and Communication Technology, Griffith University, Brisbane, Australia, --- Select a Country ---"}]}],"member":"3171","event":{"name":"10th International Conference on Model-Driven Engineering and Software Development","start":{"date-parts":[[2022,2,6]]},"location":"Online Streaming, --- Select a Country ---","end":{"date-parts":[[2022,2,8]]}},"container-title":["Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development"],"original-title":["Verifiable Executable Models for Decomposable Real-time Systems"],"deposited":{"date-parts":[[2022,7,1]],"date-time":"2022-07-01T16:50:53Z","timestamp":1656694253000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.scitepress.org\/DigitalLibrary\/Link.aspx?doi=10.5220\/0010812200003119"}},"subtitle":[""],"short-title":[],"issued":{"date-parts":[[2022]]},"references-count":0,"URL":"https:\/\/doi.org\/10.5220\/0010812200003119","relation":{},"subject":[],"published":{"date-parts":[[2022]]}}}