{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T21:19:17Z","timestamp":1761513557168,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,10]]},"DOI":"10.1109\/smc.2014.6974044","type":"proceedings-article","created":{"date-parts":[[2014,12,8]],"date-time":"2014-12-08T22:27:18Z","timestamp":1418077638000},"page":"1002-1007","source":"Crossref","is-referenced-by-count":17,"title":["A flexible contracts approach to system resiliency"],"prefix":"10.1109","author":[{"given":"Michael","family":"Sievers","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Azad M.","family":"Madni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.3166\/ejc.18.217-238"},{"key":"ref11","first-page":"39","article-title":"Towards More Expressive Contracts","author":"meyer","year":"2000","journal-title":"J Object Oriented Programming"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.79"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/SEAA.2012.68"},{"key":"ref14","article-title":"A Framework for Monitoring Agent-Based Normative Systems","author":"modgil","year":"2009","journal-title":"Proc of 8th Int Conf on Autonomous Agents and Multiagent Systems (AAMAS 2009)"},{"key":"ref15","first-page":"200","article-title":"Multiple Viewpoint Contract-Based Specification and Design","volume":"5382","author":"benveniste","year":"2008","journal-title":"Proceedings of the Software Technology Concertation on Formal Methods for Components and Objects FMCO'07 ser Lecture Notes in Computer Science"},{"key":"ref16","article-title":"GN&C Fault Protection Fundamentals","author":"rassmussen","year":"2008","journal-title":"AAS 08-31 31 st Annual AAS Guidance and Control Conference"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1115\/1.3662552"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/5.18626"},{"key":"ref19","article-title":"Towards Affordably Adaptable and Effective Systems","volume":"15","author":"neches","year":"2012","journal-title":"Systems Engineering"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TIME.2010.7"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TIME.2009.13"},{"key":"ref6","article-title":"Model Checking Investigations for Fault Protection System Validation","author":"baltrop","year":"2003","journal-title":"2003 International Conference on Space Mission Challenges for Information Technology"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/11493402_9"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805828"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2013.6693137"},{"journal-title":"Fault Management Handbook NASA-HDBK-1002","year":"2012","key":"ref2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2009.2017397"},{"key":"ref9","article-title":"Fault Detection in Process Systems using Hidden Markov Disturbance Models","author":"wong","year":"0","journal-title":"8th International Symposium on Dynamics and Control of Process Systems"}],"event":{"name":"2014 IEEE International Conference on Systems, Man and Cybernetics - SMC","start":{"date-parts":[[2014,10,5]]},"location":"San Diego, CA, USA","end":{"date-parts":[[2014,10,8]]}},"container-title":["2014 IEEE International Conference on Systems, Man, and Cybernetics (SMC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6960119\/6973862\/06974044.pdf?arnumber=6974044","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T14:27:51Z","timestamp":1602685671000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6974044"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/smc.2014.6974044","relation":{},"subject":[],"published":{"date-parts":[[2014,10]]}}}