{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,8]],"date-time":"2023-01-08T22:28:52Z","timestamp":1673216932063},"reference-count":15,"publisher":"Elsevier BV","issue":"11","license":[{"start":{"date-parts":[[2003,8,1]],"date-time":"2003-08-01T00:00:00Z","timestamp":1059696000000},"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":["Information and Software Technology"],"published-print":{"date-parts":[[2003,8]]},"DOI":"10.1016\/s0950-5849(03)00068-5","type":"journal-article","created":{"date-parts":[[2003,6,30]],"date-time":"2003-06-30T17:28:37Z","timestamp":1056994117000},"page":"715-725","source":"Crossref","is-referenced-by-count":3,"title":["Implicit integration of scenarios into a reduced timed automaton"],"prefix":"10.1016","volume":"45","author":[{"given":"A.","family":"Salah","sequence":"first","affiliation":[]},{"given":"R.","family":"Dssouli","sequence":"additional","affiliation":[]},{"given":"G.","family":"Lapalme","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"12","key":"10.1016\/S0950-5849(03)00068-5_BIB1","doi-asserted-by":"crossref","first-page":"1226","DOI":"10.1109\/TC.1976.1674590","article-title":"Software engineering","volume":"C-25","author":"Boehm","year":"1976","journal-title":"IEEE Transaction on Computers"},{"key":"10.1016\/S0950-5849(03)00068-5_BIB2","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","article-title":"A theory of timed automata","volume":"126","author":"Alur","year":"1994","journal-title":"Theoretical Computer Science"},{"issue":"9","key":"10.1016\/S0950-5849(03)00068-5_BIB3","doi-asserted-by":"crossref","first-page":"794","DOI":"10.1109\/32.159837","article-title":"Compiling real-time specifications into extended automata","volume":"18","author":"Nicollin","year":"1992","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0950-5849(03)00068-5_BIB4","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1109\/52.268953","article-title":"Formal approach to scenario analysis","volume":"11","author":"Hsia","year":"1994","journal-title":"IEEE Software"},{"key":"10.1016\/S0950-5849(03)00068-5_BIB5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"254","DOI":"10.1007\/3-540-60406-5_19","article-title":"An integrated formal model of scenarios based on statecharts","volume":"vol. 989","author":"Glinz","year":"1995"},{"issue":"2","key":"10.1016\/S0950-5849(03)00068-5_BIB6","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1007\/BF02813027","article-title":"A use case driven requirements engineering process","volume":"2","author":"Dano","year":"1997","journal-title":"Requirements Engineering Journal"},{"key":"10.1016\/S0950-5849(03)00068-5_BIB7","series-title":"CFIP97, Li\u00e8ge, Belgique","article-title":"Sp\u00e9cification et conception de syst\u00e8mes communicants: une approche rigoureuse bas\u00e9e sur des sc\u00e9narios d'usage","author":"Amyot","year":"1997"},{"issue":"11\/12","key":"10.1016\/S0950-5849(03)00068-5_BIB8","doi-asserted-by":"crossref","first-page":"697","DOI":"10.1016\/S0950-5849(99)00031-2","article-title":"Service creation environment based on scenarios","volume":"41","author":"Dssouli","year":"1999","journal-title":"Information and Software Technology"},{"key":"10.1016\/S0950-5849(03)00068-5_BIB9","series-title":"Introduction to Automata Theory, Language, and Computation","author":"Hopcroft","year":"1979"},{"key":"10.1016\/S0950-5849(03)00068-5_BIB10","doi-asserted-by":"crossref","unstructured":"A. Bouajjani, J.-C. Fernandez, N. Halbwachs, P. Raymond, C. Ratel, Minimal state graph generation, Science of Computer Programming 18 ().","DOI":"10.1016\/0167-6423(92)90018-7"},{"key":"10.1016\/S0950-5849(03)00068-5_BIB11","unstructured":"A. Salah, G\u00e9n\u00e9ration automatique d'une sp\u00e9cification formelle \u00e0 partir de sc\u00e9narios temps-r\u00e9els, PhD Thesis, Universit\u00e9 de Montr\u00e9al, May 2002."},{"issue":"2\/3","key":"10.1016\/S0950-5849(03)00068-5_BIB12","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1016\/0167-6423(90)90071-K","article-title":"An implementation of an efficient algorithm for bisimulation equivalence","volume":"13","author":"Fernandez","year":"1990","journal-title":"Science of Computer Programming"},{"issue":"6","key":"10.1016\/S0950-5849(03)00068-5_BIB13","doi-asserted-by":"crossref","first-page":"973","DOI":"10.1137\/0216062","article-title":"Three partition refinement algorithms","volume":"16","author":"Paige","year":"1987","journal-title":"SIAM Journal on Computing"},{"key":"10.1016\/S0950-5849(03)00068-5_BIB14","series-title":"Formal Description Techniques and Protocol Specification, Testing and Verification FORTE XIV\/PSTV XXI 2001","first-page":"135","article-title":"Compiling real-time scenarios into a timed automaton","author":"Salah","year":"2001"},{"key":"10.1016\/S0950-5849(03)00068-5_BIB15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume":"vol. 92","author":"Milner","year":"1980"}],"container-title":["Information and Software Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584903000685?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584903000685?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,3,24]],"date-time":"2020-03-24T16:00:54Z","timestamp":1585065654000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0950584903000685"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,8]]},"references-count":15,"journal-issue":{"issue":"11","published-print":{"date-parts":[[2003,8]]}},"alternative-id":["S0950584903000685"],"URL":"https:\/\/doi.org\/10.1016\/s0950-5849(03)00068-5","relation":{},"ISSN":["0950-5849"],"issn-type":[{"value":"0950-5849","type":"print"}],"subject":[],"published":{"date-parts":[[2003,8]]}}}