{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T22:58:52Z","timestamp":1725836332224},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319251400"},{"type":"electronic","value":"9783319251417"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-25141-7_3","type":"book-chapter","created":{"date-parts":[[2015,10,31]],"date-time":"2015-10-31T04:51:25Z","timestamp":1446267085000},"page":"25-39","source":"Crossref","is-referenced-by-count":1,"title":["Constructive Modelling of Parallelized Environmental Models for Structured Testing of\u00a0Automated Driving Systems"],"prefix":"10.1007","author":[{"given":"Sebastian","family":"Siegl","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Russer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,11,1]]},"reference":[{"unstructured":"REAL Sequence-based Specification Tool (2005)","key":"3_CR1"},{"unstructured":"ISO\/DIS 26262 - Road Vehicles Functional Safety (2009)","key":"3_CR2"},{"unstructured":"Software and Systems Engineering Software Testing Part 1\u20133. ISO\/IEC\/IEEE 29119-1-3:2013(E), pp. 1\u2013138 (2013)","key":"3_CR3"},{"issue":"1","key":"3_CR4","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1145\/174644.174651","volume":"41","author":"R Alur","year":"1994","unstructured":"Alur, R., Henzinger, T.A.: A really temporal logic. J. ACM 41(1), 181\u2013203 (1994)","journal-title":"J. ACM"},{"key":"3_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1007\/3-540-63141-0_6","volume-title":"CONCUR 1997: Concurrency Theory","author":"R Alur","year":"1997","unstructured":"Alur, R., Henzinger, T.: Modularity for timed and hybrid systems. In: Mazurkiewicz, A. (ed.) CONCUR 1997: Concurrency Theory. Lecture Notes in Computer Science, vol. 1243, pp. 74\u201388. Springer, Heidelberg (1997)"},{"unstructured":"AUTOSAR Munich: AUTOSAR 4.0 (2010)","key":"3_CR6"},{"key":"3_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-30080-9_7","volume-title":"Formal Methods for the Design of Real-Time Systems","author":"G Behrmann","year":"2004","unstructured":"Behrmann, G., David, A., Larsen, K.G.: A tutorial on Uppaal. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol. 3185, pp. 200\u2013236. Springer, Heidelberg (2004)"},{"unstructured":"Beizer, B., Vinter, O.V.: Bug Taxonomy and Statistics. Technical report, Software Engineering Mentor, 2630 Taastrup (2001)","key":"3_CR8"},{"doi-asserted-by":"crossref","unstructured":"Bringmann, E., Kr\u00e4mer, A.: Systematic testing of the continuous behavior of automotive systems. In: Proceedings of the 2006 International Workshop on Software Engineering for Automotive Systems, SEAS 2006, pp. 13\u201320. ACM, New York (2006)","key":"3_CR9","DOI":"10.1145\/1138474.1138479"},{"issue":"1","key":"3_CR10","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1109\/6979.994795","volume":"3","author":"R Gregor","year":"2002","unstructured":"Gregor, R., Lutzeler, M., Pellkofer, M., Siedersberger, K.H., Dickmanns, E.: Ems-vision: a perceptual system for autonomous vehicles. IEEE Trans. Intell. Transp. Syst. 3(1), 48\u201359 (2002)","journal-title":"IEEE Trans. Intell. Transp. Syst."},{"issue":"4","key":"3_CR11","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/S0166-5316(99)00052-8","volume":"40","author":"WJ Gutjahr","year":"2000","unstructured":"Gutjahr, W.J.: Software dependability evaluation based on markov usage models. Perform. Eval. 40(4), 199\u2013222 (2000)","journal-title":"Perform. Eval."},{"doi-asserted-by":"crossref","unstructured":"Konrad, S., Cheng, B.H.C.: Real-time specification patterns. In: Proceedings of the 27th International Conference on Software Engineering, ICSE 2005, pp. 372\u2013381. ACM, New York (2005)","key":"3_CR12","DOI":"10.1145\/1062455.1062526"},{"key":"3_CR13","doi-asserted-by":"publisher","first-page":"360","DOI":"10.1016\/j.tcs.2009.06.041","volume":"411","author":"L Lin","year":"2010","unstructured":"Lin, L., Prowell, S.J., Poore, J.H.: An axiom system for sequence-based specification. Theor. Comput. Sci. 411, 360\u2013376 (2010)","journal-title":"Theor. Comput. Sci."},{"doi-asserted-by":"crossref","unstructured":"Michailidis, A., Spieth, U., Ringler, T., Hedenetz, B., Kowalewski, S.: Test front loading in early stages of automotive software development based on AUTOSAR. In: Proceedings of the Conference on Design, Automation and Test in Europe, DATE 2010, pp. 435\u2013440. European Design and Automation Association, Belgium (2010)","key":"3_CR14","DOI":"10.1109\/DATE.2010.5457166"},{"issue":"6","key":"3_CR15","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1109\/2.948","volume":"21","author":"HD Mills","year":"1988","unstructured":"Mills, H.D.: Stepwise refinement and verification in box-structured systems. Computer 21(6), 23\u201336 (1988)","journal-title":"Computer"},{"issue":"2","key":"3_CR16","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1016\/S0164-1212(03)00241-3","volume":"73","author":"S Prowell","year":"2004","unstructured":"Prowell, S., Poore, J.: Computing system reliability using Markov chain usage models. J. Syst. Softw. 73(2), 219\u2013225 (2004)","journal-title":"J. Syst. Softw."},{"unstructured":"The Mathworks: MATLAB\/Simulink (2010)","key":"3_CR17"},{"unstructured":"University of Tennessee: Sequence-based Specification Tool, Protoseq. Software Quality Research Laboratory (2005)","key":"3_CR18"}],"container-title":["Lecture Notes in Computer Science","Cyber Physical Systems. Design, Modeling, and Evaluation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-25141-7_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T07:24:33Z","timestamp":1559287473000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-25141-7_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319251400","9783319251417"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-25141-7_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}