{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T01:20:39Z","timestamp":1729646439636,"version":"3.28.0"},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/icsmc.2004.1401020","type":"proceedings-article","created":{"date-parts":[[2005,3,31]],"date-time":"2005-03-31T18:26:51Z","timestamp":1112293611000},"page":"5201-5208","source":"Crossref","is-referenced-by-count":0,"title":["Functional analysis for safe and available system design"],"prefix":"10.1109","volume":"6","author":[{"given":"V.","family":"Chatel","sequence":"first","affiliation":[]},{"given":"C.","family":"Feliot","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-08766-4","author":"bj\ufffdrner","year":"1978","journal-title":"The Vienna Development Method The Meta-Language"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-1674-2"},{"journal-title":"Basic Elements of Queueing Theory Applications to the Modelling of Computer Systems","year":"1997","author":"nain","key":"10"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162"},{"journal-title":"Specifying Systems The TLA+ Language and Tools for Hardware and Software Engineers","year":"2002","author":"lamport","key":"7"},{"key":"6","doi-asserted-by":"crossref","DOI":"10.1145\/363235.363259","article-title":"An axiomatic basis for computer programming","author":"hoare","year":"1969","journal-title":"Commun ACM"},{"key":"5","article-title":"Systemic modeling and program proof techniques for analyzing and validating system level specifications","author":"feliot","year":"2000","journal-title":"ICSSEA"},{"journal-title":"Mode?lisation de Syste?mes Complexes Inte?gration et Formalisation de Mode?les","year":"1997","author":"feliot","key":"4"},{"key":"9","article-title":"Probabilistic predicate transformers","volume":"prg tr 4 95","author":"morgan","year":"1995","journal-title":"Technical Report"},{"key":"8","article-title":"Probabilistic predicate transformers: Part 2","volume":"prg tr 5 96","author":"mciver","year":"1996","journal-title":"Technical Report"},{"journal-title":"La Mode?lisation par les Syste?mes en Situations Complexes","year":"1997","author":"pe?nalva","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\/01401020.pdf?arnumber=1401020","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T17:50:57Z","timestamp":1497635457000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1401020\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/icsmc.2004.1401020","relation":{},"subject":[]}}