{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,9]],"date-time":"2026-03-09T20:15:29Z","timestamp":1773087329326,"version":"3.50.1"},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2006,12,21]],"date-time":"2006-12-21T00:00:00Z","timestamp":1166659200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form Method Syst Des"],"published-print":{"date-parts":[[2007,4,11]]},"DOI":"10.1007\/s10703-006-0028-8","type":"journal-article","created":{"date-parts":[[2006,12,20]],"date-time":"2006-12-20T14:56:43Z","timestamp":1166626603000},"page":"233-247","source":"Crossref","is-referenced-by-count":22,"title":["Early verification and validation of mission critical systems"],"prefix":"10.1007","volume":"30","author":[{"given":"C.","family":"Ponsard","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Massonet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. F.","family":"Molderez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Rifaut","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. van","family":"Lamsweerde","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H. Tran","family":"Van","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,12,21]]},"reference":[{"key":"28_CR1","doi-asserted-by":"crossref","unstructured":"Cimatti A, Clarke E, Giunchiglia E, Giunchiglia F, Pistore M, Roveri M, Sebastiani R, Tacchella A (2002) NuSMV version 2: An opensource tool for symbolic model checking. In: International Conference on Computer-Aided Verification (CAV, LNCS 2404), Denmark","DOI":"10.1007\/3-540-45657-0_29"},{"issue":"1\u20132","key":"28_CR2","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0167-6423(93)90021-G","volume":"20","author":"A Dardenne","year":"1993","unstructured":"Dardenne A, van Lamsweerde A, Fickas S (1993) Goal-directed requirements acquisition. Sci Comput Programm 20(1\u20132):3\u201350","journal-title":"Sci Comput Programm"},{"key":"28_CR3","doi-asserted-by":"crossref","unstructured":"Darimont R, van Lamsweerde A (1996) Formal refinement patterns for goal-driven requirements elaboration. FSE-4\u20144th ACM Symposium on the Foundations of Software Engineering, San Francisco","DOI":"10.1145\/239098.239131"},{"issue":"1","key":"28_CR4","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1109\/32.663994","volume":"24","author":"S Easterbrook","year":"1998","unstructured":"Easterbrook S, Lutz RR, Covington R, Kelly J, Ampo Y, Hamilton D (1998) Experiences using lightweight formal methods for requirements modeling. Softw Eng 24(1):4\u201314","journal-title":"Softw Eng"},{"key":"28_CR5","unstructured":"The Standish Group (1995) http:\/\/www.standishgroup.com\/chaos"},{"key":"28_CR6","unstructured":"European Software Institute (1996) European user survey analysis, report usv_eyr 2.1 espiti project"},{"key":"28_CR7","doi-asserted-by":"crossref","unstructured":"Jackson D (2000) Automating first-order relational logic, ACM SIGSOFT. In: Proceedings of the Conference Foundations of Software Engineering","DOI":"10.1145\/355045.355063"},{"key":"28_CR8","doi-asserted-by":"crossref","unstructured":"Koymans R (1992) Specifying message passing and time-critical systems with temporal logic, lncs 651, Springer-Verlag","DOI":"10.1007\/3-540-56283-4"},{"key":"28_CR9","doi-asserted-by":"crossref","unstructured":"Letier E, van Lamsweerde A (2001) Agent-based tactics for goal-oriented requirements elaboration","DOI":"10.1145\/581352.581353"},{"key":"28_CR10","doi-asserted-by":"crossref","unstructured":"Letier E, van Lamsweerde A (2002) Deriving operational software specifications from system goals. In: FSE'10: 10th ACM S1GSOFT Symposium on the Foundations of Software Engineering, Charleston","DOI":"10.1145\/587051.587070"},{"key":"28_CR11","unstructured":"Leveson NG (1995) Safeware, system safety and computers, Addison-Wesley"},{"key":"28_CR12","first-page":"126","volume-title":"IEEE International Symposium on Requirements Engineering","author":"RR Lutz","year":"1993","unstructured":"Lutz RR (1993) Analyzing software requirements errors in safety-critical, embedded systems. IEEE International Symposium on Requirements Engineering. IEEE Computer Society Press, San Diego, CA, pp 126\u2013133"},{"key":"28_CR13","doi-asserted-by":"crossref","unstructured":"Magee J, Pryce N, Giannakopoulou D, Kramer J (2000) Graphical animation of behavior models. Int Conf Softw Eng pp. 499\u2013508","DOI":"10.1145\/337180.337368"},{"key":"28_CR14","doi-asserted-by":"crossref","unstructured":"Manna Z, Pnueli A (1992) The reactive behavior of reactive and concurrent system, Springer-Verlag","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"28_CR15","doi-asserted-by":"crossref","unstructured":"McLean J, Heitmeyer C (1995) High assurance computer systems: A research agenda. America in the Age of Information, National Science and Technology Council Committee on Information and Communications Forum, Bethesda","DOI":"10.21236\/ADA465571"},{"key":"28_CR16","doi-asserted-by":"crossref","unstructured":"Muller T (2000) Promoting constraints to first-class status. First International Conference on Computational Logic (CL, LNAI 1861), London UK","DOI":"10.1007\/3-540-44957-4_29"},{"key":"28_CR17","doi-asserted-by":"crossref","unstructured":"Ponsard C, Balych N, Massonet P, van Lamsweerde A, Vanderdonckt J (2005) Goal-oriented design of domain control panels. In: 12th International Workshop on Design, Specification and Verification of Interactive Systems, Newcastle, UK","DOI":"10.1007\/11752707_21"},{"key":"28_CR18","doi-asserted-by":"crossref","unstructured":"Rushby J (2000) Disappearing formal methods. High-assurance systems engineering symposium. Association for Computing Machinery, Albuquerque, NM, pp 95\u201396","DOI":"10.1109\/HASE.2000.895446"},{"key":"28_CR19","unstructured":"The Objectiver Tool, http:\/\/wwww.objectiver.com"},{"key":"28_CR20","unstructured":"Tran Van H, van Lamsweerde A, Massonet P, Ponsard C (2004) Goal-oriented requirements animation. In: 12th IEEE International Requirements Engineering Conference, Kyoto, Japan"},{"key":"28_CR21","unstructured":"van Lamsweerde A (2001) Goal-oriented requirements engineering: A guided tour"},{"key":"28_CR22","doi-asserted-by":"crossref","unstructured":"van Lamsweerde A, Darimont R, Letier E (1998) Managing conflicts in goal-driven requirements engineering. IEEE Transactions on Software Engineering, Special Issue on Managing Inconsistency in Software Development","DOI":"10.1109\/32.730542"},{"key":"28_CR23","doi-asserted-by":"crossref","unstructured":"van Lamsweerde A, Letier E (2000) Handling obstacles in goal-oriented requirements engineering. IEEE Trans Softw Eng, Special Issue on Except Handl 26(10)","DOI":"10.1109\/32.879820"},{"key":"28_CR24","doi-asserted-by":"crossref","unstructured":"van Lamsweerde A, Letier E (2003) From object orientation to goal orientation: A paradigm shift for requirements engineering. Radical Innovations of Software & System Engineering, Montery'02 Workshop, Venice, Italy, LNCS","DOI":"10.1007\/978-3-540-24626-8_23"},{"key":"28_CR25","doi-asserted-by":"crossref","unstructured":"van Lamsweerde A (2000) Requirements engineering in the year 00: a research perspective. In: International Conference on Software Engineering, pp 5\u201319","DOI":"10.1145\/337180.337184"}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-006-0028-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10703-006-0028-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-006-0028-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T18:01:02Z","timestamp":1559239262000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10703-006-0028-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,12,21]]},"references-count":25,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2007,4,11]]}},"alternative-id":["28"],"URL":"https:\/\/doi.org\/10.1007\/s10703-006-0028-8","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"value":"0925-9856","type":"print"},{"value":"1572-8102","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,12,21]]}}}