{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T00:24:21Z","timestamp":1648772661845},"reference-count":31,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[2004,2,1]],"date-time":"2004-02-01T00:00:00Z","timestamp":1075593600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Systems and Software"],"published-print":{"date-parts":[[2004,2]]},"DOI":"10.1016\/s0164-1212(03)00067-0","type":"journal-article","created":{"date-parts":[[2003,10,15]],"date-time":"2003-10-15T11:38:36Z","timestamp":1066217916000},"page":"189-208","source":"Crossref","is-referenced-by-count":9,"title":["Incremental specification with SCTL\/MUS-T: a case study"],"prefix":"10.1016","volume":"70","author":[{"given":"Ana","family":"Fern\u00e1ndez Vilas","sequence":"first","affiliation":[]},{"given":"Jos\u00e9 J.","family":"Pazos Arias","sequence":"additional","affiliation":[]},{"given":"Alberto","family":"Gil Solla","sequence":"additional","affiliation":[]},{"given":"Rebeca P.","family":"D\u0131\u0301az Redondo","sequence":"additional","affiliation":[]},{"given":"Jorge","family":"Garc\u0131\u0301a Duque","sequence":"additional","affiliation":[]},{"given":"A.","family":"Bel\u00e9n Barrag\u00e1ns Mart\u0131\u0301nez","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0164-1212(03)00067-0_BIB1","author":"Abrial","year":"1996"},{"key":"10.1016\/S0164-1212(03)00067-0_BIB2","unstructured":"Alur, R., 1991. Techniques for Automatic Verification of Real-Time Systems. Ph.D. thesis, Department of Computer Science, Stanford University"},{"issue":"1","key":"10.1016\/S0164-1212(03)00067-0_BIB3","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1006\/inco.1993.1024","article-title":"Model checking in dense real-time","volume":"104","author":"Alur","year":"1993","journal-title":"Information and Computation"},{"key":"10.1016\/S0164-1212(03)00067-0_BIB4","first-page":"74","article-title":"Logics and models of real time: a survey","author":"Alur","year":"1992"},{"key":"10.1016\/S0164-1212(03)00067-0_BIB5","first-page":"470","article-title":"On discretization of delays in timed automata and digital circuits","author":"Asarin","year":"1998"},{"key":"10.1016\/S0164-1212(03)00067-0_BIB6","series-title":"Computer Software and Applications, 26th Annual International Conference (COMPSAC\u201902)","article-title":"Requirements specification evolution in a multi-perspective environment","author":"Barrag\u00e1ns Mart\u0131\u0301nez","year":"2002"},{"issue":"5","key":"10.1016\/S0164-1212(03)00067-0_BIB7","doi-asserted-by":"crossref","first-page":"533","DOI":"10.1007\/BF01211631","article-title":"METATEM: an introduction","volume":"7","author":"Barringer","year":"1995","journal-title":"Formal Aspects of Computing"},{"key":"10.1016\/S0164-1212(03)00067-0_BIB8","series-title":"Information System Development Process, vol. A-30 of IFIP Transactions","first-page":"117","article-title":"Utilizing scenarios in the software development process","author":"Benner","year":"1993"},{"key":"10.1016\/S0164-1212(03)00067-0_BIB9","series-title":"Many-valued Logics","author":"Bolc","year":"1992"},{"key":"10.1016\/S0164-1212(03)00067-0_BIB10","series-title":"Computer Aided Verification, 11th International Conference (CAV\u201999), vol. 1633 of LNCS","first-page":"274","article-title":"Model checking partial state spaces with 3-valued temporal logics","author":"Bruns","year":"1999"},{"key":"10.1016\/S0164-1212(03)00067-0_BIB11","first-page":"253","article-title":"Timed modal specifications\u2013\u2013theory and tools","author":"Cerans","year":"1993"},{"key":"10.1016\/S0164-1212(03)00067-0_BIB12","first-page":"441","article-title":"Efficient multiple-valued model-checking using lattice representations","author":"Chechik","year":"2001"},{"key":"10.1016\/S0164-1212(03)00067-0_BIB13","series-title":"Software Engineering, 23rd International Conference on (ICSE\u201901)","article-title":"A framework for multi-valued reasoning over inconsistent viewpoints","author":"Easterbrook","year":"2001"},{"key":"10.1016\/S0164-1212(03)00067-0_BIB14","unstructured":"Fern\u00e1ndez Vilas, A., 2002. Tratamiento Formal de Sistemas con Requisitos de Tiempo Real Cr\u0131\u0301ticos. Ph.D. thesis, Departamento de Ingenier\u0131\u0301a Telem\u00e1tica, Universidad de Vigo"},{"key":"10.1016\/S0164-1212(03)00067-0_BIB15","first-page":"185","article-title":"Extending timed automaton and real-time logic to many-valued reasoning","author":"Fern\u00e1ndez Vilas","year":"2002"},{"key":"10.1016\/S0164-1212(03)00067-0_BIB16","series-title":"Computer Software and Applications, 26th Annual International Conference (COMPSAC\u201902)","article-title":"Formalizing incremental design in real-time area: SCTL\/MUS-T","author":"Fern\u00e1ndez Vilas","year":"2002"},{"key":"10.1016\/S0164-1212(03)00067-0_BIB17","series-title":"Second International Workshop on Living With Inconsistency. 23rd International Conference on Software Engineering (ICSE\u201901)","article-title":"Reasoning over Inconsistent Viewpoints: How levels of agreement can evolve?","author":"Garc\u0131\u0301a Duque","year":"2001"},{"key":"10.1016\/S0164-1212(03)00067-0_BIB18","series-title":"Decision and Control, 33rd IEEE conference","first-page":"957","article-title":"Discretization of timed automata","author":"Gollu","year":"1994"},{"key":"10.1016\/S0164-1212(03)00067-0_BIB19","first-page":"65","article-title":"Reuse in requirements engineering: discovery and application of a real-time requirement pattern","author":"Gotzhein","year":"1998"},{"key":"10.1016\/S0164-1212(03)00067-0_BIB20","first-page":"366","article-title":"Avoiding the undefined by underspecification","author":"Gries","year":"1995"},{"issue":"112","key":"10.1016\/S0164-1212(03)00067-0_BIB21","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1006\/inco.1994.1060","article-title":"Temporal proof methodologies for timed transition systems","author":"Henzinger","year":"1994","journal-title":"Information and Computation"},{"key":"10.1016\/S0164-1212(03)00067-0_BIB22","doi-asserted-by":"crossref","unstructured":"Huth, M., Jagadeesan, R., Schmidt, D., 2001. Modal Transition Systems: A Foundation for Three-Valued Program Analysis. LNCS 2028, 155\u2013169","DOI":"10.1007\/3-540-45309-1_11"},{"issue":"12","key":"10.1016\/S0164-1212(03)00067-0_BIB23","doi-asserted-by":"crossref","first-page":"1089","DOI":"10.1109\/32.738341","article-title":"Inferring declarative requirements specifications from operational scenarios","volume":"24","author":"Lamsweerde","year":"1998","journal-title":"IEEE Transactions on Software Engineering, Special Issue on Scenario Management"},{"key":"10.1016\/S0164-1212(03)00067-0_BIB24","series-title":"High-Assurance Systems Engineering, 2nd IEEE Workshop","first-page":"42","article-title":"A graphical property specification language","author":"Lee","year":"1997"},{"key":"10.1016\/S0164-1212(03)00067-0_BIB25","article-title":"Rule-based detection of inconsistency in UML models","author":"Liu","year":"2002"},{"key":"10.1016\/S0164-1212(03)00067-0_BIB26","series-title":"Requirements Engineering, Fourth IEEE International Symposium (RE\u201999)","first-page":"100","article-title":"An empirical investigation of multiple viewpoint reasoning in requirements engineering","author":"Menzies","year":"1999"},{"issue":"1","key":"10.1016\/S0164-1212(03)00067-0_BIB27","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1145\/237432.237438","article-title":"A graphical environment for design of concurrent real-time systems","volume":"6","author":"Moser","year":"1997","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"issue":"2","key":"10.1016\/S0164-1212(03)00067-0_BIB28","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1016\/S0164-1212(01)00036-X","article-title":"Inconsistency respectable in software development","volume":"58","author":"Nuseibeh","year":"2001","journal-title":"Journal of Systems and Software"},{"issue":"1","key":"10.1016\/S0164-1212(03)00067-0_BIB29","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1016\/0164-1212(92)90045-L","article-title":"Formal methods for the specification and design of real-time safety critical systems","volume":"18","author":"Ostroff","year":"1992","journal-title":"Journal of Systems and Software"},{"key":"10.1016\/S0164-1212(03)00067-0_BIB30","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1007\/PL00003939","article-title":"SCTL-MUS: A formal methodology for software development of distributed systems A case study","volume":"13","author":"Pazos Arias","year":"2001","journal-title":"Formal Aspects of Computing"},{"key":"10.1016\/S0164-1212(03)00067-0_BIB31","first-page":"211","article-title":"Local model checking for real-time systems","author":"Sokolsky","year":"1995"}],"container-title":["Journal of Systems and Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121203000670?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121203000670?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,19]],"date-time":"2019-02-19T13:50:55Z","timestamp":1550584255000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0164121203000670"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,2]]},"references-count":31,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2004,2]]}},"alternative-id":["S0164121203000670"],"URL":"https:\/\/doi.org\/10.1016\/s0164-1212(03)00067-0","relation":{},"ISSN":["0164-1212"],"issn-type":[{"value":"0164-1212","type":"print"}],"subject":[],"published":{"date-parts":[[2004,2]]}}}