{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T21:21:14Z","timestamp":1767993674343,"version":"3.49.0"},"reference-count":32,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2015,3,1]],"date-time":"2015-03-01T00:00:00Z","timestamp":1425168000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation for Youth of China","doi-asserted-by":"publisher","award":["61202351"],"award-info":[{"award-number":["61202351"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Aviation Science Fund of China","award":["20128052064"],"award-info":[{"award-number":["20128052064"]}]},{"name":"Jiangsu Innovation Program for Graduate Education","award":["CXLX12_0163"],"award-info":[{"award-number":["CXLX12_0163"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Dependable and Secure Comput."],"published-print":{"date-parts":[[2015,3,1]]},"DOI":"10.1109\/tdsc.2014.2320714","type":"journal-article","created":{"date-parts":[[2014,4,29]],"date-time":"2014-04-29T18:02:50Z","timestamp":1398794570000},"page":"190-203","source":"Crossref","is-referenced-by-count":18,"title":["Modeling Dependability Features for Real-Time Embedded Systems"],"prefix":"10.1109","volume":"12","author":[{"given":"Siru","family":"Ni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yi","family":"Zhuang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zining","family":"Cao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiangying","family":"Kong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref32","year":"0"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32759-9_31"},{"key":"ref30","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/s10270-010-0162-z","article-title":"Modeling and enforcing invariants of dynamic software architectures","volume":"11","author":"kallel","year":"2012","journal-title":"Softw Syst Model"},{"key":"ref10","year":"0"},{"key":"ref11","year":"0"},{"key":"ref12","author":"spivey","year":"1992","journal-title":"The Z Notation A Reference Manual"},{"key":"ref13","year":"0"},{"key":"ref14","author":"smith","year":"0"},{"key":"ref15","year":"0"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/32.841115"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/s001650200003"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2007.09.002"},{"key":"ref19","first-page":"448","article-title":"An MDA approach towards integrating formal and informal modeling languages","author":"kim","year":"0","journal-title":"Proc Int'l Conf Formal Methods"},{"key":"ref28","year":"0"},{"key":"ref4","first-page":"412","article-title":"UMLsec: Extending UML for secure systems development","author":"j\u00fcrjens","year":"0","journal-title":"Proc 5th Int l Conf Unified Modeling Language"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/MTV.2010.19"},{"key":"ref3","year":"0"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1007\/s10270-009-0128-1","article-title":"A dependability profile within MARTE","volume":"10","author":"bernardi","year":"2011","journal-title":"Softw Syst Model"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24559-6_19"},{"key":"ref5","first-page":"426","article-title":"SecureUML: A UML-based modeling language for model-driven security","author":"lodderstedt","year":"0","journal-title":"Proc 5th Int l Conf Unified Modeling Language"},{"key":"ref8","first-page":"318","article-title":"2nd UML 2 semantics symposium: Formal semantics for UML","author":"broy","year":"0","journal-title":"Proc Int'l Conf Models in Software Eng"},{"key":"ref7","year":"0"},{"key":"ref2","author":"liu","year":"2009","journal-title":"Software trustworthiness classification specification"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/978-3-642-01338-6_11","article-title":"The formal semantics of the domain specific modeling language for multiagent systems","author":"hahn","year":"2009","journal-title":"Agent-Oriented Software Engineering IX"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2004.2"},{"key":"ref20","author":"chen","year":"2007","journal-title":"The study of construction and validation of object-oriented formal specification"},{"key":"ref22","year":"0"},{"key":"ref21","first-page":"339","article-title":"Comparison of formalisation approaches of UML class constructs in Z and object-Z","author":"am\u00e1lio","year":"0","journal-title":"Proc 3rd Int Conf Formal Specification Develop Z B"},{"key":"ref24","first-page":"559","article-title":"Modeling time (s)","author":"andr\u00e9","year":"0","journal-title":"Proc 10th Int'l Conf Model Driven Eng Languages and Systems"},{"key":"ref23","year":"0"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2007.1021"},{"key":"ref25","first-page":"548","article-title":"A formal metamodeling approach to a transformation between the UML state machine and Object-Z","author":"kim","year":"0","journal-title":"Proc Int'l Conf Software Eng and Formal Methods"}],"container-title":["IEEE Transactions on Dependable and Secure Computing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8858\/7057713\/06807772.pdf?arnumber=6807772","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T15:59:59Z","timestamp":1642003199000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6807772\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,3,1]]},"references-count":32,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tdsc.2014.2320714","relation":{},"ISSN":["1545-5971"],"issn-type":[{"value":"1545-5971","type":"print"}],"subject":[],"published":{"date-parts":[[2015,3,1]]}}}