{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,1]],"date-time":"2025-04-01T17:01:49Z","timestamp":1743526909230,"version":"3.28.0"},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/icsmc.2004.1401021","type":"proceedings-article","created":{"date-parts":[[2005,3,31]],"date-time":"2005-03-31T18:26:51Z","timestamp":1112293611000},"page":"5209-5214","source":"Crossref","is-referenced-by-count":17,"title":["UML models for dependability analysis of real-time systems"],"prefix":"10.1109","volume":"6","author":[{"given":"N.","family":"Addouche","sequence":"first","affiliation":[]},{"given":"C.","family":"Antaine","sequence":"additional","affiliation":[]},{"given":"J.","family":"Montmain","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","first-page":"355","article-title":"A probabilistic extension of UML statecharts: Specification and verification","author":"jansen","year":"2002","journal-title":"FTRTFT '02"},{"key":"2","article-title":"Performance modelling with UML and stochastic process algebra","author":"canevet","year":"2002","journal-title":"Proceedings of the Eighteenth Annual UK Performance Engineering Workshop"},{"key":"10","article-title":"Response to the OMG RFP for schedulability, performance and time: Revised submission","author":"selic","year":"0","journal-title":"OMG Document Ad\/2001-06-14"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"7","first-page":"200","article-title":"Prism:Probabilistic model checker","volume":"2324","author":"kwiatkowska","year":"2002","journal-title":"LNCS"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2003.1210075"},{"journal-title":"Real-Time Systems Design Principles for Distributed Embedded Applications","year":"1999","author":"kopetz","key":"5"},{"key":"4","article-title":"Using UML to derive stochastic Petri nets models","author":"king","year":"1999","journal-title":"UKPEW'99 Proceedings of the 15th UK Performance Engineering Workshop"},{"journal-title":"OMG Document Ad\/99-04-07","article-title":"White paper on the profile mechanism v.1.0","year":"1999","key":"9"},{"journal-title":"V 1 5 OMG Document Formal \/ 03-03-01","article-title":"Unified modeling language specification","year":"2003","key":"8"},{"journal-title":"Su?rete? de fonctionnement des syste?mes industriels","year":"1988","author":"villemeur","key":"11"}],"event":{"name":"2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583)","acronym":"ICSMC-04","location":"The Hague, Netherlands"},"container-title":["2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9622\/30425\/01401021.pdf?arnumber=1401021","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,14]],"date-time":"2017-03-14T21:36:16Z","timestamp":1489527376000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1401021\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/icsmc.2004.1401021","relation":{},"subject":[]}}