{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T19:08:11Z","timestamp":1725736091032},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,11]]},"DOI":"10.1109\/ase.2011.6100148","type":"proceedings-article","created":{"date-parts":[[2011,12,16]],"date-time":"2011-12-16T13:30:08Z","timestamp":1324042208000},"page":"651-655","source":"Crossref","is-referenced-by-count":1,"title":["Toward consistency checking of natural language temporal requirements"],"prefix":"10.1109","author":[{"family":"Wenbin Li","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-1567-8_12"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72200-7_23"},{"key":"18","first-page":"235","article-title":"Constraint answer set solving","author":"gebser","year":"2009","journal-title":"International Conference on Logic Programming (ICLP)"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2006.65"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(02)00186-8"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018930122475"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2009.15"},{"key":"11","first-page":"250","article-title":"Using uml for modeling complex real-time systems","author":"selic","year":"1998","journal-title":"Logic-Based Artificial Intelligence"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-60085-2_17"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/ISRE.1995.512546"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/32.588520"},{"key":"1","article-title":"Fault-based analysis: How history can help improve performance and dependability requirements for high assurance systems","author":"hayes","year":"0","journal-title":"Proceedings of the Fifth International Workshop on Requirements for High Assurance Systems (RHAS) Chicago 2005"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0055357"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1142\/S0218213002000915"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/32.730542"},{"key":"5","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1145\/225014.225015","article-title":"completeness and consistency analysis of state-based requirements","author":"heimdahl","year":"1995","journal-title":"1995 17th International Conference on Software Engineering icse"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1002\/0471028959.sof307"},{"key":"9","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1007\/BFb0020949","article-title":"UPPAAL: A tool suite for automatic verification of real-time systems","author":"bengtsson","year":"1996","journal-title":"Lecture Notes in Computer Science"},{"key":"8","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45739-9_23","article-title":"Model checking-timed uml state machines and collaborations","author":"knapp","year":"2002","journal-title":"Lecture Notes in Computer Science"}],"event":{"name":"2011 26th IEEE\/ACM International Conference on Automated Software Engineering (ASE)","start":{"date-parts":[[2011,11,6]]},"location":"Lawrence, KS, USA","end":{"date-parts":[[2011,11,10]]}},"container-title":["2011 26th IEEE\/ACM International Conference on Automated Software Engineering (ASE 2011)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6093623\/6100039\/06100148.pdf?arnumber=6100148","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T07:28:18Z","timestamp":1497943698000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6100148\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,11]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/ase.2011.6100148","relation":{},"subject":[],"published":{"date-parts":[[2011,11]]}}}