{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,25]],"date-time":"2026-03-25T05:56:11Z","timestamp":1774418171264,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642198571","type":"print"},{"value":"9783642198588","type":"electronic"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-19858-8_17","type":"book-chapter","created":{"date-parts":[[2011,3,18]],"date-time":"2011-03-18T09:38:53Z","timestamp":1300441133000},"page":"166-180","source":"Crossref","is-referenced-by-count":24,"title":["Applying Restricted English Grammar on Automotive Requirements\u2014Does it Work? A Case Study"],"prefix":"10.1007","author":[{"given":"Amalinda","family":"Post","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Igor","family":"Menzel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Podelski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"Konrad, S., Cheng, B.H.C.: Real-time specification patterns. In: ICSE 2005: Proc. 27th Int. Conf. Softw. Eng., pp. 372\u2013381. ACM, New York (2005)","DOI":"10.1145\/1062455.1062526"},{"key":"17_CR2","first-page":"995","volume-title":"Handbook of Theoretical Computer Science","author":"E.A. Emerson","year":"1990","unstructured":"Emerson, E.A.: Temporal and modal logic. In: Handbook of Theoretical Computer Science, vol.\u00a0B, pp. 995\u20131072. Elsevier Science Publishers, Amsterdam (1990)"},{"issue":"1-2","key":"17_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0304-3975(96)80701-8","volume":"170","author":"Y.S. Ramakrishna","year":"1996","unstructured":"Ramakrishna, Y.S., Melliar-Smith, P.M., Moser, L.E., Dillon, L.K., Kutty, G.: Interval logics and their decision procedures. TCS\u00a0170(1-2), 1\u201346 (1996)","journal-title":"TCS"},{"key":"17_CR4","unstructured":"Alur, R.: Techniques for automatic verification of real-time systems. PhD thesis, Stanford University, Stanford, CA, USA (1992)"},{"issue":"1","key":"17_CR5","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1145\/237432.237438","volume":"6","author":"L.E. Moser","year":"1997","unstructured":"Moser, L.E., Ramakrishna, Y.S., Kutty, G., Melliar-Smith, P.M., Dillon, L.K.: A graphical environment for the design of concurrent real-time systems. ACM Trans. Softw. Eng. Methodol.\u00a06(1), 31\u201379 (1997)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"17_CR6","volume-title":"Software requirements: objects, functions, and states","author":"A.M. Davis","year":"1993","unstructured":"Davis, A.M.: Software requirements: objects, functions, and states. Prentice-Hall, Inc., Upper Saddle River (1993)"},{"key":"17_CR7","first-page":"322","volume-title":"RE","author":"N. Heumesser","year":"2004","unstructured":"Heumesser, N., Houdek, F.: Experiences in managing an automotive requirements engineering process. In: RE, pp. 322\u2013327. IEEE Computer Society, Los Alamitos (2004)"},{"issue":"7","key":"17_CR8","doi-asserted-by":"publisher","first-page":"1087","DOI":"10.1016\/j.infsof.2009.01.004","volume":"51","author":"G.S. Walia","year":"2009","unstructured":"Walia, G.S., Carver, J.C.: A systematic literature review to identify and classify software requirement errors. Inf. Softw. Technol.\u00a051(7), 1087\u20131109 (2009)","journal-title":"Inf. Softw. Technol."},{"key":"17_CR9","unstructured":"Dahlstedt, A.G., Persson, A.: Requirements interdependencies - moulding the state of research into a research agenda. In: REFSQ, pp. 71\u201380 (2003)"},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"Heimdahl, M.P.E., Leveson, N.G.: Completeness and consistency analysis of state-based requirements. In: IEEE Trans. on SW Engineering, pp. 3\u201314 (1995)","DOI":"10.1145\/225014.225015"},{"issue":"3","key":"17_CR11","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1145\/234426.234431","volume":"5","author":"C.L. Heitmeyer","year":"1996","unstructured":"Heitmeyer, C.L., Jeffords, R.D., Labaw, B.G.: Automated consistency checking of requirements specifications. ACM Transactions on Software Engineering and Methodology\u00a05(3), 231\u2013261 (1996)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"Yu, L., Su, S., Luo, S., Su, Y.: Completeness and consistency analysis on requirements of distributed event-driven systems. In: TASE, Washington, pp. 241\u2013244 (2008)","DOI":"10.1109\/TASE.2008.46"},{"key":"17_CR13","unstructured":"ISO26262: Road vehicles - Functional safety, Part 8, Baseline 17 (2010)"},{"issue":"5","key":"17_CR14","first-page":"669","volume":"13","author":"A. Hall","year":"2007","unstructured":"Hall, A.: Realising the benefits of formal methods. Journal of Universal Computer Science (J. UCS)\u00a013(5), 669\u2013678 (2007)","journal-title":"Journal of Universal Computer Science (J. UCS)"},{"key":"17_CR15","doi-asserted-by":"publisher","first-page":"761","DOI":"10.1145\/1134285.1134406","volume-title":"ICSE","author":"J.R. Abrial","year":"2006","unstructured":"Abrial, J.R.: Formal methods in industry: achievements, problems, future. In: ICSE, pp. 761\u2013768. ACM, New York (2006)"},{"key":"17_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1007\/978-3-540-72982-2_24","volume-title":"Web Reasoning and Rule Systems","author":"T. Kuhn","year":"2007","unstructured":"Kuhn, T.: AceRules: Executing rules in controlled natural language. In: Marchiori, M., Pan, J.Z., de Sainte Marie, C. (eds.) RR 2007. LNCS, vol.\u00a04524, pp. 299\u2013308. Springer, Heidelberg (2007)"},{"key":"17_CR17","doi-asserted-by":"crossref","unstructured":"Han, B., Gates, D., Levin, L.: From language to time: A temporal expression anchorer. In: TIME, pp. 196\u2013203 (June 2006)","DOI":"10.1109\/TIME.2006.16"},{"key":"17_CR18","first-page":"411","volume-title":"ICSE","author":"M.B. Dwyer","year":"1999","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: ICSE, pp. 411\u2013420. ACM, New York (1999)"},{"key":"17_CR19","unstructured":"Konrad, S.: Model-driven Development and Analysis of High Assurance Systems. PhD thesis, Michigan State University, East Lansing, MI (October 2006)"},{"key":"17_CR20","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1145\/1368088.1368094","volume-title":"ICSE","author":"L. Grunske","year":"2008","unstructured":"Grunske, L.: Specification patterns for probabilistic quality properties. In: ICSE, pp. 31\u201340. ACM, New York (2008)"},{"key":"17_CR21","first-page":"208","volume-title":"FSE","author":"R.L. Cobleigh","year":"2006","unstructured":"Cobleigh, R.L., Avrunin, G.S., Clarke, L.A.: User guidance for creating precise and accessible property specifications. In: FSE, pp. 208\u2013218. ACM, New York (2006)"},{"key":"17_CR22","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-28901-1","volume-title":"Software Product Line Engineering: Foundations, Principles and Techniques","author":"K. Pohl","year":"2005","unstructured":"Pohl, K., B\u00f6ckle, G., Linden, F.J.v.d.: Software Product Line Engineering: Foundations, Principles and Techniques. Springer, USA (2005)"},{"key":"17_CR23","doi-asserted-by":"crossref","unstructured":"Behrmann, G., David, A., Larsen, K.G.: A tutorial on uppaal, pp. 200\u2013236 (2004)","DOI":"10.1007\/978-3-540-30080-9_7"},{"key":"17_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/3-540-45657-0_29","volume-title":"Computer Aided Verification","author":"A. Cimatti","year":"2002","unstructured":"Cimatti, A., Clarke, E., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: NuSMV 2: An OpenSource Tool for Symbolic Model Checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404, p. 359. Springer, Heidelberg (2002)"},{"key":"17_CR25","volume-title":"Content Analysis Guidebook","author":"K.A. Neuendorf","year":"2002","unstructured":"Neuendorf, K.A.: Content Analysis Guidebook. Sage Publications, Thousand Oaks (2002)"},{"key":"17_CR26","volume-title":"Content Analysis: An Introduction to Its Methodology","author":"K.H. Krippendorff","year":"2003","unstructured":"Krippendorff, K.H.: Content Analysis: An Introduction to Its Methodology, 2nd edn. Sage Publications, Inc., Thousand Oaks (2003)","edition":"2"},{"key":"17_CR27","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4625-2","volume-title":"Experimentation in software engineering: an introduction","author":"C. Wohlin","year":"2000","unstructured":"Wohlin, C., Runeson, P., H\u00f6st, M., Ohlsson, M.C., Regnell, B., Wessl\u00e9n, A.: Experimentation in software engineering: an introduction. Kluwer Academic Publishers, Norwell (2000)"}],"container-title":["Lecture Notes in Computer Science","Requirements Engineering: Foundation for Software Quality"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-19858-8_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T22:52:15Z","timestamp":1558479135000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-19858-8_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642198571","9783642198588"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-19858-8_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}