{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T19:44:31Z","timestamp":1766087071699,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,8]]},"DOI":"10.1109\/re.2015.7320416","type":"proceedings-article","created":{"date-parts":[[2015,11,5]],"date-time":"2015-11-05T17:57:15Z","timestamp":1446746235000},"page":"136-145","source":"Crossref","is-referenced-by-count":18,"title":["Exposing the susceptibility of off-nominal behaviors in reactive system requirements"],"prefix":"10.1109","author":[{"given":"Daniel","family":"Aceituna","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hyunsook","family":"Do","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s00779-010-0319-3"},{"key":"ref11","article-title":"Robustness Testing of Software-Intensive Systems: Explanation and Guide","author":"cohen","year":"2005","journal-title":"CMU Software Engineering Institute Technical Note"},{"article-title":"Modeling Pilot Situation Awareness. Human Modelling in Assisted Transportation","year":"2010","author":"foyle","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/336512.336546"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2007.05.034"},{"key":"ref15","first-page":"47","article-title":"Automated Event Tree Analysis Based-on Scenario Specifications","author":"wei-tek","year":"2003","journal-title":"Proceedings of IEEE ISSRE"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/S0951-8320(01)00113-2","article-title":"Application of the Cause-Consequence Diagram Method to Static Systems","volume":"75","author":"ridley","year":"2002","journal-title":"Reliability Engineering and System Safety"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/2.962984"},{"key":"ref18","article-title":"The Role of Software in Recent Aerospace Accidents","author":"leveson","year":"2001","journal-title":"Proceedings of the 19th International System Safety Conference"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/2591062.2591183"},{"key":"ref4","article-title":"Identification of Emergent Off-Nominal Operational Requirements During Conceptual Architecting of the More Electric Aircraft","author":"armstrong","year":"2012","journal-title":"BiblioLabsii"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.2514\/1.C031003"},{"key":"ref6","first-page":"397","article-title":"Improving Evaluation and System Design Through the Use of Off-Nominal Testing: A Methodology for Scenario Development","author":"foyle","year":"2003","journal-title":"Proc 12th Int l Symp Aviation Psychology"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/5397.5399"},{"key":"ref8","first-page":"33","article-title":"SQ2E: An Approach to Requirements Validation with Scenario Question","author":"aceituna","year":"2010","journal-title":"Proceedings of 1 Asia-Pacific Software Engineering Conference"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.2514\/6.2012-2576"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2008.4702783"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1039174.1039186"},{"article-title":"Model Checking","year":"2008","author":"clarke","key":"ref9"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/234426.234431"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/32.210305"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227147"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.1997.648039"}],"event":{"name":"2015 IEEE 23rd International Requirements Engineering Conference (RE)","start":{"date-parts":[[2015,8,24]]},"location":"Ottawa, ON, Canada","end":{"date-parts":[[2015,8,28]]}},"container-title":["2015 IEEE 23rd International Requirements Engineering Conference (RE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7310793\/7320393\/07320416.pdf?arnumber=7320416","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T19:01:54Z","timestamp":1498244514000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7320416\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,8]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/re.2015.7320416","relation":{},"subject":[],"published":{"date-parts":[[2015,8]]}}}