{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T22:37:18Z","timestamp":1729636638216,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,9]]},"DOI":"10.1109\/qest.2008.16","type":"proceedings-article","created":{"date-parts":[[2008,9,29]],"date-time":"2008-09-29T20:04:33Z","timestamp":1222718673000},"page":"274-283","source":"Crossref","is-referenced-by-count":2,"title":["Conflict-Tolerant Real-Time Features"],"prefix":"10.1109","author":[{"given":"Deepak","family":"D'Souza","sequence":"first","affiliation":[]},{"given":"Madhu","family":"Gopinathan","sequence":"additional","affiliation":[]},{"given":"S.","family":"Ramesh","sequence":"additional","affiliation":[]},{"given":"Prahladavaradan","family":"Sampath","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","first-page":"347","article-title":"compositional specification of timed systems (an extended abstract)","author":"sifakis","year":"1996","journal-title":"Symp on Theoretical Aspects of Comp Science"},{"key":"22","first-page":"416","article-title":"supervisory control of distributed systems: conflict resolution","author":"wong","year":"1995","journal-title":"IEEE Conf Decision and Control"},{"journal-title":"SAL - http","year":"0","key":"17"},{"key":"18","first-page":"108","article-title":"checking safety properties using induction and a sat-solver","author":"sheeran","year":"2000","journal-title":"FMCAD"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/32.729680"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"13","first-page":"67","article-title":"feature interactions in electronic mail","author":"hall","year":"2000","journal-title":"FIW"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/357474.355061"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69149-5_10"},{"journal-title":"Safety features for the future","year":"0","key":"12"},{"key":"21","article-title":"bounded model checking for timed automata","volume":"68","author":"sorea","year":"2002","journal-title":"Electr Notes Theor Comput Sci"},{"key":"3","first-page":"409","article-title":"modular supervisory control with priorities for discrete event systems","author":"chen","year":"1995","journal-title":"IEEE Conf Decision and Control"},{"journal-title":"Software Product Lines","year":"0","key":"20"},{"key":"2","first-page":"118","article-title":"bounded model checking","volume":"58","author":"biere","year":"2003","journal-title":"Advances in Computers"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"10","first-page":"235","article-title":"feature interaction and dependencies: modeling features for reengineering a legacy product line","author":"ferber","year":"2002","journal-title":"SPLC"},{"key":"7","first-page":"571","article-title":"timed control synthesis for external specifications","author":"d'souza","year":"2002","journal-title":"STACS"},{"key":"6","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-70545-1_22","article-title":"conflict-tolerant features","author":"d'souza","year":"2008","journal-title":"Computer Aided Verification"},{"key":"5","first-page":"108","article-title":"timed interfaces","author":"de alfaro","year":"2002","journal-title":"EMSOFT"},{"key":"4","article-title":"advanced validation techniques meet complexity challenge in embedded software development","author":"damm","year":"2001","journal-title":"Embedded Systems Journal"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/839268.839270"},{"article-title":"timed systems in sal","year":"2004","author":"dutertre","key":"8"}],"event":{"name":"2008 Fifth International Conference on Quantitative Evaluation of Systems","start":{"date-parts":[[2008,9,14]]},"location":"St Malo, France","end":{"date-parts":[[2008,9,17]]}},"container-title":["2008 Fifth International Conference on Quantitative Evaluation of Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4634932\/4634933\/04634982.pdf?arnumber=4634982","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T08:59:08Z","timestamp":1557824348000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4634982\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,9]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/qest.2008.16","relation":{},"subject":[],"published":{"date-parts":[[2008,9]]}}}