{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T13:58:13Z","timestamp":1725803893304},"publisher-location":"Cham","reference-count":10,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319107011"},{"type":"electronic","value":"9783319107028"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-10702-8_11","type":"book-chapter","created":{"date-parts":[[2014,9,1]],"date-time":"2014-09-01T08:19:16Z","timestamp":1409559556000},"page":"155-169","source":"Crossref","is-referenced-by-count":15,"title":["Detecting Consistencies and Inconsistencies of Pattern-Based Functional Requirements"],"prefix":"10.1007","author":[{"given":"Christian","family":"Ellen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sven","family":"Sieverding","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hardi","family":"Hungar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","unstructured":"Aichernig, B.K., Lorber, F., Ni\u010dkovi\u0107, D., Tiran, S.: Require, test and trace it. Tech. Rep. IST-MBT-2014-03, TU Graz (2014), \n                  \n                    https:\/\/online.tugraz.at\/tug_online\/voe_main2.getVollText?pDocumentNr=637834&pCurrPk=77579\n                  \n                  \n                 (visited on: March 06, 2014)"},{"key":"11_CR2","unstructured":"Benveniste, A., Caillaud, B., Nickovic, D., Passerone, R., Baptiste Raclet, J., Reinkemeier, P., Sangiovanni-vincentelli, A., Damm, W., Henzinger, T., Larsen, K.: Contracts for systems design. Tech. rep., Research Centre Rennes \u2013 Bretagne Atlantique (2012)"},{"key":"11_CR3","unstructured":"BTC Embedded Systems AG: BTC Embedded Validator Pattern Library, Release 3.6 (2012)"},{"key":"11_CR4","unstructured":"Damm, W., Hungar, H., Henkler, S., Stierand, I., Josko, B., Oertel, M., Reinkemeier, P., Baumgart, A., B\u00fcker, M., Gezgin, T., Ehmen, G., Weber, R.: SPES 2020 Architecture Modeling. Tech. rep., OFFIS e.V. (2011)"},{"key":"11_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/978-3-642-03251-6_4","volume-title":"Recent Advances in Constraints","author":"A. Eggers","year":"2009","unstructured":"Eggers, A., Kalinnik, N., Kupferschmid, S., Teige, T.: Challenges in constraint-based analysis of hybrid systems. In: Oddi, A., Fages, F., Rossi, F. (eds.) CSCLP 2008. LNCS, vol.\u00a05655, pp. 51\u201365. Springer, Heidelberg (2009)"},{"key":"11_CR6","unstructured":"Hungar, H.: Compositionality with strong assumptions. In: Nordic Workshop on Programming Theory, pp. 11\u201313. M\u00e4lardalen Real\u2013Time Research Center (November 2011)"},{"key":"11_CR7","unstructured":"International Standard Organization: Road Vehicles - Functional Safety (November 2011)"},{"issue":"3","key":"11_CR8","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1109\/TSE.1987.233170","volume":"13","author":"N.G. Leveson","year":"1987","unstructured":"Leveson, N.G., Stolzy, J.L.: Safety analysis using petri nets. IEEE Transactions on Software Engineering\u00a013(3), 386\u2013397 (1987)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"11_CR9","unstructured":"Rajan, A., Wahl, T. (eds.): CESAR - Cost-efficient Methods and Processes for Safety-relevant Embedded Systems. Springer (2013) No. 978-3709113868"},{"issue":"2","key":"11_CR10","first-page":"343","volume":"5","author":"T. Teige","year":"2011","unstructured":"Teige, T., Eggers, A., Fr\u00e4nzle, M.: Constraint-based analysis of concurrent probabilistic hybrid systems: An application to networked automation systems. Nonlinear Analysis: Hybrid Systems\u00a05(2), 343\u2013366 (2011)","journal-title":"Nonlinear Analysis: Hybrid Systems"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Industrial Critical Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-10702-8_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T15:05:53Z","timestamp":1558969553000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-10702-8_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319107011","9783319107028"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-10702-8_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}