{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T18:17:41Z","timestamp":1730225861785,"version":"3.28.0"},"reference-count":9,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,6]]},"DOI":"10.1109\/hsi.2014.6860474","type":"proceedings-article","created":{"date-parts":[[2014,10,8]],"date-time":"2014-10-08T17:33:43Z","timestamp":1412789623000},"page":"198-202","source":"Crossref","is-referenced-by-count":2,"title":["Safety properties modelling"],"prefix":"10.1109","author":[{"given":"Tullio J.","family":"Tanzi","sequence":"first","affiliation":[]},{"given":"Raoul","family":"Textoris","sequence":"additional","affiliation":[]},{"given":"Ludovic","family":"Apvrille","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Integrando SysML e Model Checking Para V&V de Software Cri?tico Especial","year":"2009","author":"da silva et","key":"3"},{"journal-title":"OMG Systems Modeling Language (SysML)","year":"2011","key":"2"},{"journal-title":"OMG Unified Modeling Language (UML)","year":"2011","key":"1"},{"journal-title":"UPPAAL","year":"2011","key":"7"},{"key":"6","article-title":"Tepe: A SysML language for time-constrained property modeling and formal verification","author":"knorreck","year":"2010","journal-title":"Proceedings of the Third IEEE International Workshop UML and Formal Methods-ULM&FM2010"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/NOTERE.2011.5957992"},{"journal-title":"Use of Modelling Methods and Tools in An Industrial Embedded System Project","year":"2012","author":"fernandes pires","key":"4"},{"key":"9","first-page":"33","article-title":"A tutorial on uppaal","volume":"3185","author":"behrmann","year":"2004","journal-title":"Formal Methods for the Design of Real-Time Systems of Lecture Notes in Computer Science"},{"journal-title":"ProVerif","year":"2011","key":"8"}],"event":{"name":"2014 7th International Conference on Human System Interactions (HSI)","start":{"date-parts":[[2014,6,16]]},"location":"Costa da Caparica","end":{"date-parts":[[2014,6,18]]}},"container-title":["2014 7th International Conference on Human System Interactions (HSI)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6851791\/6860435\/06860474.pdf?arnumber=6860474","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,23]],"date-time":"2017-03-23T14:48:03Z","timestamp":1490280483000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6860474\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,6]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/hsi.2014.6860474","relation":{},"subject":[],"published":{"date-parts":[[2014,6]]}}}