{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T05:03:50Z","timestamp":1737435830106,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540672821"},{"type":"electronic","value":"9783540464198"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-46419-0_5","type":"book-chapter","created":{"date-parts":[[2007,8,8]],"date-time":"2007-08-08T23:17:25Z","timestamp":1186615045000},"page":"48-62","source":"Crossref","is-referenced-by-count":10,"title":["Consistent Integration of Formal Methods"],"prefix":"10.1007","author":[{"given":"Peter","family":"Braun","sequence":"first","affiliation":[]},{"given":"Heiko","family":"L\u00f6tzbeyer","sequence":"additional","affiliation":[]},{"given":"Bernhard","family":"Sch\u00e4tz","sequence":"additional","affiliation":[]},{"given":"Oscar","family":"Slotosch","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,6,1]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"J.-R. Abrial. The B-Book: Assigning Programs to Meanings. Cambridge University Press, 1996. 60","DOI":"10.1017\/CBO9780511624162"},{"key":"5_CR2","unstructured":"BBC+95._Nikolaj Bjorner, Anca Browne, Eddie Chang, Michael Colon, Arjun Kapur, Zohar Manna, Henny B. Sipma, and Tomas E. Uribe. STeP: The Stanford Temporal Prover (Educational Release) User\u2019s Manual. STAN-CS-TR 95-1562, Computer Science Department Stanford University, 1995. 60"},{"key":"5_CR3","unstructured":"Roland Bechtel. Einbettung des \u03bc-Kalk\u00fcl Model Checkers \u03bc-cke in AutoFocus. Master\u2019s thesis, Institut f\u00fcr Informatik, Technische Universit\u00e4t M\u00fcnchen, 1999. 57"},{"key":"5_CR4","unstructured":"Armin Biere. Effiziente Modellpr\u00fcfung des \u03bc-Kalk\u00fcls mit bin\u00e4ren Entscheidungdiagrammen. PhD thesis, Universit\u00e4t Karlsruhe, 1997. 57"},{"key":"5_CR5","unstructured":"G. Booch, I. Jacobson, and J. Rumbaugh. UML Summary. Rational Software Cooperation, January 1997. Version 1.0. 52, 55, 60"},{"key":"5_CR6","unstructured":"GWG95. M. Grochtmann, J. Wegner, and K. Grimm. Test Case Design Using Classification Trees and the Classification-Tree Editor. In Proceedings of 8th International Quality Week, San Francisco, pages Paper 4-A-4, May 30\u2013June 2 1995. 50, 59"},{"issue":"4","key":"5_CR7","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1109\/32.54292","volume":"16","author":"D. Harel","year":"1990","unstructured":"D. Harel. Statemate: A working environment for the development of complex reactive systems. IEEE Transactions on Software Engineering, 16(4):403\u2013414, 1990. 60","journal-title":"IEEE Transactions on Software Engineering"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"HMS+98._F. Huber, S. Molterer, B. Sch\u00e4tz, O. Slotosch, and A. Vilbig. Traffic Lights-An AutoFocus Case Study. In 1998 International Conference on Application of Concurrency to System Design, pages 282\u2013294. IEEE Computer Society, 1998. 49, 58","DOI":"10.1109\/CSD.1998.657559"},{"key":"5_CR9","unstructured":"i-Logix. Rhapsody Reference Version 1.0, 1997. 60"},{"key":"5_CR10","unstructured":"Frank Marschall. Konzeption und Realisierunge iner generischen Schnittstelle f\u00fcr metamodell-basierte Werkzeuge. Master\u2019s thesis, Institut f\u00fcr Informatik, Technische Universit\u00e4t M\u00fcnchen, 1998. 60"},{"key":"5_CR11","unstructured":"K.L. McMillan. The SMV system, Symbolic Model Checking-an approach. Technical Report CMU-CS-92-131, Carnegie Mellon University, 1992. 50"},{"key":"5_CR12","unstructured":"MetaModel. http:\/\/www.MetaModel.com\/ , 1999. 52"},{"key":"5_CR13","volume-title":"A Verification Environment for I\/O-Automata Based on Formalized Meta-Theory","author":"O. M\u00fcller","year":"1998","unstructured":"Olaf M\u00fcller. A Verification Environment for I\/O-Automata Based on Formalized Meta-Theory. PhD thesis, Institut f\u00fcr Informatik, Techn. Univ. M\u00fcnchen, 1998. 58"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"J. Philipps and O. Slotosch. The Quest for Correct Systems: Model Checking of Diagramms and Datatypes. In Asia Pacific Software Engineering Conference 1999, pages 449\u2013458, 1999. 57, 58","DOI":"10.1109\/APSEC.1999.809636"},{"key":"5_CR15","unstructured":"Rational. Rational Rose 98 Product Overview. http:\/\/www.rational.com\/products\/rose\/ , 1998. 60"},{"key":"5_CR16","unstructured":"G. Rock, W. Stephan, and A. Wolpers. Tool Support for the Compositional Development of Distributed Systems. In Proc. Formale Beschreibungstechniken f\u00fcr verteilte Systeme, GI\/ITG-Fachgespr\u00e4ch. GMD-Studien Nr. 315, ISBN: 3-88457-514-2, 1997. 50, 58"},{"key":"5_CR17","unstructured":"Bran Selic, Garth Gullekson, and Paul Ward. Real-Time Object-Oriented Modeling. John Wiley and Sons, 1994. 61"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Bernhard Sch\u00e4tz and Franz Huber. Integrating Formal Description Techniques. In Jeanette Wing, Jim Woodcock, and Jim Davies, editors, FM\u201999-Formal Methods, pages 1206\u20131225. Springer, 1999. 57","DOI":"10.1007\/3-540-48118-4_14"},{"key":"5_CR19","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"346","DOI":"10.1007\/3-540-48257-1_25","volume-title":"Applied Formal Methods-FM-Trends 98","author":"O. Slotosch","year":"1998","unstructured":"O. Slotosch. Quest: Overview over the Project. In D. Hutter, W. Stephan, P Traverso, and M. Ullmann, editors, Applied Formal Methods-FM-Trends 98, pages 346\u2013350. Springer LNCS 1641, 1998. 50"},{"key":"5_CR20","unstructured":"Telelogic AB. Telelogic AB: SDT 3.1 Reference Manual, 1996. 60"},{"key":"5_CR21","unstructured":"G. Wimmel. Using SATO for the Generation of Input Values for Test Sequences. Master\u2019s thesis, Technische Universit\u00e4t M\u00fcnchen, 2000. 57, 58"},{"key":"5_CR22","unstructured":"Jos Warmer and Anneke Kleppe. The Object Constraint Language. Addison-Wesley, 1998. 55"},{"key":"5_CR23","doi-asserted-by":"crossref","unstructured":"H. Zhang. SATO: An efficient propositional prover. In William McCune, editor, Proceedings of the 14th International Conference on Automated deduction, volume 1249 of LNAI, pages 272\u2013275, Berlin, July 13\u201317 1997. Springer. 50","DOI":"10.1007\/3-540-63104-6_28"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46419-0_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T06:01:28Z","timestamp":1737352888000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46419-0_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540672821","9783540464198"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-46419-0_5","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}