{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:33:38Z","timestamp":1725460418688},"publisher-location":"Boston","reference-count":14,"publisher":"Kluwer Academic Publishers","isbn-type":[{"type":"print","value":"1402079966"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/1-4020-7997-4_7","type":"book-chapter","created":{"date-parts":[[2006,2,17]],"date-time":"2006-02-17T13:51:14Z","timestamp":1140184274000},"page":"215-258","source":"Crossref","is-referenced-by-count":5,"title":["Mastering the Complexity of Reactive Systems - The AutoFocusApproach"],"prefix":"10.1007","author":[{"given":"B.","family":"Sch\u00e4tz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"[BBC+97]_Nikolaj Bjorner, Anca Browne, Eddie Chang, Michael Col\u2019on, Bernd Finkbeiner, Arjun Kapur, Zohar Manna, Henry Sipma, and Thom\u2019as Uribe. STeP The Stanford Temporal Prover Educational Release Version 1.3 User\u2019s Manual, 1997."},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"P. Braun, H. L\u00f6tzbeyer, B. Sch\u00e4tz, and O. Slotosch. Consistent integration of formal methods. In Proc. 6th Intl. Conf on Tools and Algorithms for the Construction and Analysis of Systems (TACAS\u201900), 2000.","DOI":"10.1007\/3-540-46419-0_5"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"M. Broy and K. Stoelen. Specification and Development of Interactive Systems. Springer, 2001.","DOI":"10.1007\/978-1-4613-0091-5"},{"key":"7_CR4","unstructured":"M. Fowler and K. Scott. UML Distilled. Addison-Wesley, 1997."},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Constance L. Heitmeyer. Software Cost Reduction. In John J. Marciniak, editor, Encyclopedia of Software Engineering. 2002.","DOI":"10.1002\/0471028959.sof307"},{"key":"7_CR6","unstructured":"ITU-TS. Recommendation Z.120: Message Sequence Chart (MSC). Geneva, 1996."},{"key":"7_CR7","unstructured":"M. Jackson. Software Requirements and Specifications. Addison-Wesley and ACM Press, 1996."},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"M. P. Jones. An Introduction to Gofer, August 1993.","DOI":"10.1007\/978-1-4899-4489-4_1"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"D. J. Lawson. Failure Mode, Effect, and Criticality Analysis. In J. K. Skwirzynski, editor, Electronic Systems Effectiveness and Life Cycle Costing, pages 55\u201374. Springer, 1983. NATO ASI Series.","DOI":"10.1007\/978-3-642-82014-4_3"},{"key":"7_CR10","unstructured":"John D. Musa, Anthony Iannino, and Kazihura Okumoto. Software Reliability: Measurement, Prediction, Application. MacGraw-Hill, 1987."},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Zohar Manna and Amir Pnueli. Temporal verification of Reactive Systems: Safety. Springer, 1995.","DOI":"10.1007\/978-1-4612-4222-2"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"O. M\u00fcller and T. Stauner. Modelling and verification using Linear Hybrid Automata. Mathematical Computer Modeling of Dynamical Systems, 6(1), March 2000.","DOI":"10.1076\/1387-3954(200003)6:1;1-Q;FT071"},{"issue":"25","key":"7_CR13","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/0167-6423(95)96871-J","volume":"1","author":"D. Parnas","year":"1995","unstructured":"D. Parnas and J. Madey. Functional Documents for Computer Systems. Science of Computer Programming, 1(25):41\u201361, October 1995.","journal-title":"Science of Computer Programming"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"B. Sch\u00e4tz, A. Pretschner, F. Huber, and J. Philipps. Model-Based Development of Embedded Systems. In J.-M. Bruel and Z. Bellahsene, editors, Advances in Object-Oriented Information Systems-OOIS 2002 Workshops. Springer LNCS, 2002.","DOI":"10.1007\/3-540-46105-1_34"}],"container-title":["Formal Methods for Embedded Distributed Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/1-4020-7997-4_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T16:22:04Z","timestamp":1619540524000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/1-4020-7997-4_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["1402079966"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/1-4020-7997-4_7","relation":{},"subject":[]}}