{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T02:13:44Z","timestamp":1767924824836,"version":"3.49.0"},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2012,1,24]],"date-time":"2012-01-24T00:00:00Z","timestamp":1327363200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Requirements Eng"],"published-print":{"date-parts":[[2012,3]]},"DOI":"10.1007\/s00766-011-0145-9","type":"journal-article","created":{"date-parts":[[2012,1,23]],"date-time":"2012-01-23T19:03:35Z","timestamp":1327345415000},"page":"19-33","source":"Crossref","is-referenced-by-count":29,"title":["Automotive behavioral requirements expressed in a specification pattern system: a case study at BOSCH"],"prefix":"10.1007","volume":"17","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":"Jochen","family":"Hoenicke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Podelski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,1,24]]},"reference":[{"key":"145_CR1","doi-asserted-by":"crossref","unstructured":"Konrad S, Cheng BHC (2005) Real-time specification patterns. In: ICSE \u201905: Proceedings 27th International Conference on Software Engineering, New York, ACM, pp 372\u2013381","DOI":"10.1145\/1062455.1062526"},{"key":"145_CR2","doi-asserted-by":"crossref","unstructured":"Emerson EA (1990) Temporal and modal logic. In: Handbook of theoretical computer science. Volume B. Elsevier, Amsterdam, pp 995\u20131072","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"issue":"1\u20132","key":"145_CR3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0304-3975(96)80701-8","volume":"170","author":"YS Ramakrishna","year":"1996","unstructured":"Ramakrishna YS, Melliar-Smith PM, Moser LE, Dillon LK, Kutty G (1996) Interval logics and their decision procedures. TCS 170(1\u20132):1\u201346","journal-title":"TCS"},{"key":"145_CR4","unstructured":"Alur R (1992) Techniques for automatic verification of real-time systems. PhD thesis, Stanford University, Stanford"},{"issue":"1","key":"145_CR5","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1145\/237432.237438","volume":"6","author":"LE Moser","year":"1997","unstructured":"Moser LE, Ramakrishna YS, Kutty G, Melliar-Smith PM, Dillon LK (1997) A graphical environment for the design of concurrent real-time systems. ACM Trans Softw Eng Methodol 6(1):31\u201379","journal-title":"ACM Trans Softw Eng Methodol"},{"key":"145_CR6","volume-title":"Software requirements: objects, functions, and states","author":"AM Davis","year":"1993","unstructured":"Davis AM (1993) Software requirements: objects, functions, and states. Prentice-Hall, Inc., Upper Saddle River"},{"key":"145_CR7","doi-asserted-by":"crossref","unstructured":"Heumesser N, Houdek F (2004) Experiences in managing an automotive requirements engineering process. In: RE, IEEE Computer Society, pp 322\u2013327","DOI":"10.1109\/ICRE.2004.1335690"},{"issue":"7","key":"145_CR8","doi-asserted-by":"crossref","first-page":"1087","DOI":"10.1016\/j.infsof.2009.01.004","volume":"51","author":"GS Walia","year":"2009","unstructured":"Walia GS, Carver JC (2009) A systematic literature review to identify and classify software requirement errors. Inf Softw Technol 51(7):1087\u20131109","journal-title":"Inf Softw Technol"},{"key":"145_CR9","unstructured":"Dahlstedt AG, Persson A (2003) Requirements interdependencies\u2014moulding the state of research into a research agenda. In: REFSQ, pp 71\u201380"},{"key":"145_CR10","unstructured":"Heimdahl MPE, Leveson NG (1995) Completeness and consistency analysis of state-based requirements. In: IEEE Transaction on SW Engineering, pp 3\u201314"},{"issue":"3","key":"145_CR11","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1145\/234426.234431","volume":"5","author":"CL Heitmeyer","year":"1996","unstructured":"Heitmeyer CL, Jeffords RD, Labaw BG (1996) Automated consistency checking of requirements specifications. ACM Trans Softw Eng Methodol 5(3):231\u2013261","journal-title":"ACM Trans Softw Eng Methodol"},{"key":"145_CR12","doi-asserted-by":"crossref","unstructured":"Yu L, Su S, Luo S, Su Y (2008) Completeness and consistency analysis on requirements of distributed event-driven systems. In: TASE, Washington, pp 241\u2013244","DOI":"10.1109\/TASE.2008.46"},{"key":"145_CR13","unstructured":"ISO26262 (2010) Road vehicles\u2014functional safety, Part 8, Baseline 17"},{"issue":"5","key":"145_CR14","first-page":"669","volume":"13","author":"A Hall","year":"2007","unstructured":"Hall A (2007) Realising the benefits of formal methods. J Univers Comput Sci (JUCS) 13(5):669\u2013678","journal-title":"J Univers Comput Sci (JUCS)"},{"key":"145_CR15","doi-asserted-by":"crossref","unstructured":"Post A, Menzel I, Podelski A (2011) Applying restricted english grammar on automotive requirements: does it work? A case study. In: Proceedings of the 17th international working conference on Requirements engineering: foundation for software quality. REFSQ\u201911, Springer, Berlin, pp 166\u2013180","DOI":"10.1007\/978-3-642-19858-8_17"},{"key":"145_CR16","doi-asserted-by":"crossref","unstructured":"Dwyer MB, Avrunin GS, Corbett JC (1999) Patterns in property specifications for finite-state verification. In: ICSE, ACM, New York, pp 411\u2013420","DOI":"10.1145\/302405.302672"},{"key":"145_CR17","doi-asserted-by":"crossref","unstructured":"Abrial JR (2006) Formal methods in industry: achievements, problems, future. In: ICSE, ACM, New York, pp 761\u2013768","DOI":"10.1145\/1134285.1134406"},{"key":"145_CR18","unstructured":"Kuhn T (2007) Acerules: Executing rules in controlled natural language. In: International conference on web reasoning and rule systems. Springer, Berlin"},{"key":"145_CR19","doi-asserted-by":"crossref","unstructured":"Han B, Gates D, Levin L (2006) From language to time: a temporal expression anchorer. TIME, pp 196\u2013203","DOI":"10.1109\/TIME.2006.16"},{"key":"145_CR20","unstructured":"Konrad S (October 2006) Model-driven development and analysis of high assurance systems. PhD thesis, Michigan State University, East Lansing"},{"key":"145_CR21","doi-asserted-by":"crossref","unstructured":"Grunske L (2008) Specification patterns for probabilistic quality properties. In: ICSE, ACM, New York, pp 31\u201340","DOI":"10.1145\/1368088.1368094"},{"key":"145_CR22","doi-asserted-by":"crossref","unstructured":"Cobleigh RL, Avrunin GS, Clarke LA (2006) User guidance for creating precise and accessible property specifications. In: FSE, ACM, New York, pp 208\u2013218","DOI":"10.1145\/1181775.1181801"},{"key":"145_CR23","volume-title":"Requirements engineering und management\u2014Professionelle, iterative Anforderungsanalyse f\u00fcr die Praxis","author":"C Rupp","year":"2004","unstructured":"Rupp C (2004) Requirements Engineering und Management\u2014Professionelle, iterative Anforderungsanalyse f\u00fcr die Praxis. Carl Hanser Verlag, Mnchen"},{"key":"145_CR24","doi-asserted-by":"crossref","unstructured":"Mavin A, Wilkinson P (2010) Big ears (the return of \u201ceasy approach to requirements engineering\u201d). In: RE\u201910. 277\u2013282","DOI":"10.1109\/RE.2010.39"},{"key":"145_CR25","doi-asserted-by":"crossref","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 FJvd (2005) Software product line engineering: foundations, principles and techniques. Springer, USA"},{"key":"145_CR26","doi-asserted-by":"crossref","unstructured":"Sibay G, Uchitel S, Braberman V (2008) Existential live sequence charts revisited. In: International Conference on Software Engineering. ICSE \u201908, ACM, New York, pp 41\u201350","DOI":"10.1145\/1368088.1368095"},{"key":"145_CR27","doi-asserted-by":"crossref","unstructured":"Behrmann G, David A, Larsen KG (2004) A tutorial on uppaal, pp 200\u2013236","DOI":"10.1007\/978-3-540-30080-9_7"},{"key":"145_CR28","doi-asserted-by":"crossref","unstructured":"Cimatti A, Clarke E, Giunchiglia E, Giunchiglia F, Pistore M, Roveri M, Sebastiani R, Tacchella A (2002) NuSMV: an opensource tool for symbolic model checking. In: CAV. Vol 2404 of LNCS., Springer, Copenhagen","DOI":"10.1007\/3-540-45657-0_29"},{"key":"145_CR29","unstructured":"Dwyer M, Avrunin G, Corbett J (1997) A system of specification patterns. http:\/\/patterns.projects.cis.ksu.edu\/"},{"key":"145_CR30","unstructured":"Houdek F (2003) Requirements Engineering Erfahrungen in Projekten der Automobilindustrie. Softwaretechnik-Trends 23(1)"},{"key":"145_CR31","volume-title":"Content analysis guidebook","author":"KA Neuendorf","year":"2002","unstructured":"Neuendorf KA (2002) Content analysis guidebook. Sage Publications, Thoushand Oaks"},{"key":"145_CR32","volume-title":"Content analysis: an introduction to its methodology. 2nd edn","author":"KH Krippendorff","year":"2003","unstructured":"Krippendorff KH (2003) Content analysis: an introduction to its methodology. 2nd edn. Sage Publications, Inc., Thoushand Oaks"},{"key":"145_CR33","doi-asserted-by":"crossref","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 MC, Regnell B, Wessl\u00e9n A (2000) Experimentation in software engineering: an introduction. Kluwer, Norwell"},{"key":"145_CR34","doi-asserted-by":"crossref","unstructured":"Post A, Hoenicke J, Podelski A (2011) rt-inconsistency: a new property for real-time requirements. In: Fundamental Approaches to Software Engineering. FASE\u201911\/ETAPS\u201911, Springer, Berlin, pp 34\u201349","DOI":"10.1007\/978-3-642-19811-3_4"},{"key":"145_CR35","doi-asserted-by":"crossref","unstructured":"Post A, Hoenicke J, Podelski A (2011) Vacuous real-time requirements. In: International conference on requirements engineering. RE2011. Springer, Berlin","DOI":"10.1109\/RE.2011.6051657"},{"key":"145_CR36","doi-asserted-by":"crossref","unstructured":"Hayes JH (2003) Building a requirement fault taxonomy: Experiences from a nasa verification and validation research project. In: ISSRE \u201903: proceedings of the 14th international symposium on software reliability engineering. IEEE Computer Society, Washington, pp 49","DOI":"10.1109\/ISSRE.2003.1251030"},{"key":"145_CR37","unstructured":"Kwiatkowska M, Norman G, Parker D(2011) PRISM 4.0: Verification of probabilistic real-time systems. In: Gopalakrishnan G, Qadeer S (eds), Proceedings 23rd International Conference on Computer Aided Verification (CAV\u201911). Vol. 6806 of LNCS, Springer, Berlin, pp 585\u2013591"},{"issue":"2","key":"145_CR38","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/j.nahs.2010.04.009","volume":"5","author":"T Teige","year":"2011","unstructured":"Teige T, Eggers A, Fr\u00e4nzle M (2011) Constraint-based analysis of concurrent probabilistic hybrid systems: an application to networked automation systems. Nonlinear Anal: Hybrid Syst 5(2):343\u2013366","journal-title":"Nonlinear Anal: Hybrid Syst"},{"key":"145_CR39","doi-asserted-by":"crossref","unstructured":"Gilb T (1989) A planning language (a Planguage). In: Conference proceedings on APL as a tool of thought. ACM, New york, pp 169\u2013177. http:\/\/doi.acm.org\/10.1145\/75144.75168","DOI":"10.1145\/75144.75168"},{"issue":"3","key":"145_CR40","doi-asserted-by":"crossref","first-page":"319","DOI":"10.2307\/249008","volume":"13","author":"FD Davis","year":"1989","unstructured":"Davis FD (1989) Perceived usefulness, perceived ease of use, and user acceptance of information technology. MIS Quarterly 13(3):319\u2013340","journal-title":"MIS Quarterly"}],"container-title":["Requirements Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00766-011-0145-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00766-011-0145-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00766-011-0145-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,22]],"date-time":"2019-06-22T16:52:03Z","timestamp":1561222323000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00766-011-0145-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,1,24]]},"references-count":40,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2012,3]]}},"alternative-id":["145"],"URL":"https:\/\/doi.org\/10.1007\/s00766-011-0145-9","relation":{},"ISSN":["0947-3602","1432-010X"],"issn-type":[{"value":"0947-3602","type":"print"},{"value":"1432-010X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,1,24]]}}}