{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,23]],"date-time":"2025-01-23T05:20:28Z","timestamp":1737609628417,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":71,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540665885"},{"type":"electronic","value":"9783540481188"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48118-4_13","type":"book-chapter","created":{"date-parts":[[2007,11,14]],"date-time":"2007-11-14T01:30:57Z","timestamp":1195003857000},"page":"1186-1205","source":"Crossref","is-referenced-by-count":27,"title":["The UniForM workbench a universal development environment for formal methods"],"prefix":"10.1007","author":[{"given":"Bernd","family":"Krieg-Br\u00fcckner","sequence":"first","affiliation":[]},{"given":"Jan","family":"Peleska","sequence":"additional","affiliation":[]},{"given":"Ernst-R\u00fcdiger","family":"Olderog","sequence":"additional","affiliation":[]},{"given":"Alexander","family":"Baer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,9,17]]},"reference":[{"key":"13_CR1","unstructured":"Amthor, P., Dick, S.: Test eines Bordcomputers f\u00fcr ein dezentrales Zugsteuerung system unter Verwendung des Werkzeuges VVT-RT. 7. Kolloquium Software Entwicklung Methoden, Werkzeuge, Erfahrungen: M\u00e4chtigkeit der Software und ihre Beherrschung, Technische Akademie Esslingen (1997)."},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"Astesiano, E., Cerioli, M.: Multiparadigm Specification Languages: a First Attempt at Foundations, In: C.M.D.J. Andrews and J.F. Groote (eds.), Semantics of Specification Languages (SoSl\u201993), Workshops in Computing, Springer (1994) 168\u2013185.","DOI":"10.1007\/978-1-4471-3229-5_10"},{"key":"13_CR3","unstructured":"Blank Purper, C., Westmeier, S.: A Graphical Development Process Assistant for Formal Methods. In: Proc. VISUAL\u201998 (short papers), at ETAPS\u201998, Lisbon (1998). http:\/\/www.tzi.de\/~uniform\/gdpa"},{"key":"13_CR4","unstructured":"Bengtsson, J., Larsen, K.G., Larsson, F., Pettersson, P., Yi, W.: UPPAAL \u2014 a tool suite for automatic verification of real-time systems. Proc. 4th DIMACS Workshop: Verification and Control of Hybrid Systems. New Brunswick, New Jersey, 1995."},{"key":"13_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1007\/BFb0000463","volume-title":"Algebraic Methodology and Software Technology, AMAST\u201997","author":"B. Buth","year":"1997","unstructured":"Buth, B., Kouvaras, M., Peleska, J., Shi, H.: Deadlock Analysis for a Fault-Tolerant System. In Johnson, M. (ed.): Algebraic Methodology and Software Technology, AMAST\u201997. LNCS 1349. Springer (1997) 60\u201375."},{"key":"13_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/3-540-49253-4_11","volume-title":"Algebraic Methodology and Software Technology, AMAST\u201998","author":"B. Buth","year":"1999","unstructured":"Buth, B., Peleska, J., Shi, H.: Combining Methods for the Lovelock Analysis of a Fault-Tolerant System. In Haeberer, A.M. (ed.): Algebraic Methodology and Software Technology, AMAST\u201998. LNCS 1548. Springer (1999) 124\u2013139."},{"key":"13_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/BFb0000465","volume-title":"Algebraic Methodology and Software Technology, AMAST 97","author":"M. Cerioli","year":"1997","unstructured":"Cerioli, M., Haxthausen, A., Krieg-Br\u00fcckner, B., Mossakowski, T.: Permissive Subsorted Partial Logic in CASL. In Johnson, M. (ed.): Algebraic Methodology and Software Technology, AMAST 97, LNCS 1349, Springer (1997) 91\u2013107."},{"key":"13_CR8","unstructured":"CoFI: The Common Framework Initiative for Algebraic Specification and Development. http:\/\/www.brics.dk\/Projects\/CoFI"},{"key":"13_CR9","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1023\/A:1008607717635","volume":"6","author":"R. Diaconescu","year":"1998","unstructured":"Diaconescu, R.: Extra Theory Morphisms for Institutions: logical semantics for multi-paradigm languages. J. Applied Categorical Structures 6 (1998) 427\u2013453.","journal-title":"J. Applied Categorical Structures"},{"key":"13_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1007\/3-540-63010-4_8","volume-title":"Proc. ARTS\u201997","author":"H. Dierks","year":"1997","unstructured":"Dierks, H.: PLC-Automata: A New Class of Implementable Real-Time Automata. Proc. ARTS\u201997, LNCS 1231, Springer (1997) 111\u2013125."},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"Dierks, H., Tapken, J.: Tool-Supported Hierarchical Design of Distributed Real-Time Systems. Euromicro Workshop on Real Time Systems, IEEE (1998) 222\u2013229.","DOI":"10.1109\/EMWRTS.1998.685088"},{"key":"13_CR12","series-title":"Lect Notes Comput Sci","volume-title":"Hybrids Systems III-Verfication and Control","author":"C. Dawsa","year":"1996","unstructured":"Dawsa, C., Olivero, A., Tripakis, S., Yovine, S.: The tool KRONOS. In: R. Alur, T.A. Henzinger, E.D. Sontag (Eds.): Hybrids Systems III-Verfication and Control. LNCS 1066, Springer, (1996)."},{"key":"13_CR13","unstructured":"Formal Systems Ltd.: Failures Divergence Refinement. User Manual and Tutorial Version 2.0. Formal Systems (Europe) Ltd. (1996)."},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"Fischer, C.: CSP-OZ: A Combination of Object-Z and CSP. In H. Bowmann, J. Derrick (eds.): Formal Methods for Open Object-Based Distributed Systems, FMOODS\u2019 97, volume 2, Chapmann & Hall (1997) 423\u2013438.","DOI":"10.1007\/978-0-387-35261-9_29"},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"Fischer, C., Smith, G.: Combining CSP and Object-Z: Finite or infinite trace Semantics? Proc. FORTE\/PSTV 97, Chapmann & Hall(1997) 503\u2013518.","DOI":"10.1007\/978-0-387-35271-8_31"},{"key":"13_CR16","unstructured":"Fr\u00f6hlich, M.: Inkrementelles Graphlayout im Visualisierung system daVinci. Dissertation. 1997. Monographs of the Bremen Institute of Safe Systems 6, ISBN 3-8265-4069-7, Shaker, 1998."},{"key":"13_CR17","volume-title":"The interactive Graph-Visualization System daVinci A User Interface for Applications","author":"M. Fr\u00f6hlich","year":"1994","unstructured":"Fr\u00f6hlich, M., Werner, M.: The interactive Graph-Visualization System daVinci A User Interface for Applications. Informatik Bericht Nr. 5\/94, Universit\u00e4t Bremen, 1994. updated doc.: http:\/\/www.tzi.de\/~daVinci"},{"key":"13_CR18","volume-title":"Die semantische Fundierung von CSP-Z","author":"S. Hallerstede","year":"1997","unstructured":"Hallerstede, S.: Die semantische Fundierung von CSP-Z. Diplomarbeit, Universit\u00e4t Oldenburg, 1997."},{"key":"13_CR19","unstructured":"The H-PCTE Crew: H-PCTE vs. PCTE, Version 2.8, Universit\u00e4t Siegen, 1996."},{"key":"13_CR20","doi-asserted-by":"crossref","unstructured":"Haxthausen, A. E., Peleska, J.: Formal Development and Verification of a Distributed Railway Control System. In Proc. 1st FMERail Workshop, Utrecht (1998).","DOI":"10.1007\/3-540-48118-4_32"},{"key":"13_CR21","series-title":"Lect Notes Comput Sci","volume-title":"PROgram Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System","year":"1993","unstructured":"Hoffmann, B., Krieg-Br\u00fcckner, B. (eds.): PROgram Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System. LNCS 680. Springer, 1993. http:\/\/www.tzi.de\/~prospectra"},{"key":"13_CR22","unstructured":"Karlsen, E.W.: The UniForM Concurrency ToolKit and its Extensions to Concurrent Haskell. In: O\u2019Donnald, J. (ed.): GFPW\u201997, Glasgow Workshop on Functional Programming\u2019 97, Ullapool."},{"key":"13_CR23","unstructured":"Karlsen, E.W.: Integrating Interactive Tools using Concurrent Haskell and Synchronous Events. In ClaPF\u201997, 2nd Latin-American Conference on Functional Programming, La Plata, Argentina (1997)."},{"key":"13_CR24","series-title":"Lect Notes Comput Sci","volume-title":"Int\u2019l Workshop on Current Trends in Applied Formal Methods","author":"E.W. Karlsen","year":"1998","unstructured":"Karlsen, E.W.: The UniForM Workbench-a Higher Order Tool Integration Framework. In: Int\u2019l Workshop on Current Trends in Applied Formal Methods. LNCS. Springer (to appear)."},{"key":"13_CR25","unstructured":"Karlsen, E.W.: Tool Integration in a Functional Setting. Dissertation. Universit\u00e4t Bremen (1998) 364pp (to appear)"},{"key":"13_CR26","series-title":"Lect Notes Comput Sci","volume-title":"IFL\u201997, Implementation of Functional Languages 97","author":"E.W. Karlsen","year":"1997","unstructured":"Karlsen, E.W., Westmeier, S.: Using Concurrent Haskell to Develop User Interfaces over an Active Repository. In IFL\u201997, Implementation of Functional Languages 97, St. Andrew, Scotland. LNCS 1467. Springer (1997)."},{"key":"13_CR27","unstructured":"Kolyang: HOL-Z, An Integrated Formal Support Environment for Z in Isabelle\/HOL. Dissertation, 1997. Monographs of the Bremen Institute of Safe Systems 5, ISBN 3-8265-4068-9, Shaker, 1998."},{"key":"13_CR28","series-title":"Lect Notes Comput Sci","volume-title":"A Structure Preserving Encoding of Z in Isabelle\/HOL","author":"S. Kolyang","year":"1996","unstructured":"Kolyang, Santen, T., Wolff, B.: A Structure Preserving Encoding of Z in Isabelle\/HOL. In Proc. Int\u2019l Conf. on Theorem Proving in Higher Order Logic. LNCS 1125. Springer (1996). http:\/\/www.tzi.de\/~kol\/HOL-Z"},{"key":"13_CR29","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"629","DOI":"10.1007\/3-540-60973-3_111","volume-title":"FME\u201996: Industrial Benefit and Advances in Formal Methods","author":"S. Kolyang","year":"1996","unstructured":"Kolyang, Santen, T., Wolff, B.: Correct and User-Friendly Implementations of Transformation Systems. In: Gaudel, M.-C., Woodcock, J. (eds.): FME\u201996: Industrial Benefit and Advances in Formal Methods. LNCS 1051 (1996) 629\u2013648."},{"key":"13_CR30","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"Recent Trends in Data Type Specification","author":"B. Krieg-Br\u00fcckner","year":"1996","unstructured":"Krieg-Br\u00fcckner, B.: Seven Years of COMPASS. In: Haveraaen, M., Owe, O., Dahl, O.-J. (eds.): Recent Trends in Data Type Specification, LNCS 1130 (1996) 1\u201313."},{"key":"13_CR31","series-title":"Lect Notes Comput Sci","volume-title":"UniForM Perspectives for Formal Methods","author":"B. Krieg-Br\u00fcckner","year":"1999","unstructured":"Krieg-Br\u00fcckner, B.: UniForM Perspectives for Formal Methods. In: Int'l Workshop on Current Trends in Applied Formal Methods. LNCS. Springer (to appear)."},{"key":"13_CR32","first-page":"337","volume-title":"Statusseminar des BMBF: Software technologie","author":"B. Krieg-Br\u00fcckner","year":"1996","unstructured":"Krieg-Br\u00fcckner, B., Peleska, J., Olderog, E.-R., Balzer, D., Baer, A. (1996): UniForM, Universal Formal Methods Workbench. in: Grote, U., Wolf, G. (eds.): Statusseminar des BMBF: Software technologie. Deutsche Forschungsanstalt f\u00fcr Luftund Raumfahrt, Berlin 337\u2013356. http:\/\/www.tzi.de\/~uniform"},{"key":"13_CR33","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"855","DOI":"10.1007\/BFb0030646","volume-title":"Theory and Practice of Software Development\u2019 97","author":"L. Kolyang","year":"1997","unstructured":"Kolyang, L\u00fcth, C., Meyer, T., Wolff, B.: TAS and IsaWin: Generic Interfaces for Transformational Program Development and Theorem Proving. In Bidoit, M., Dauchet, M. (eds.): Theory and Practice of Software Development\u2019 97. LNCS 1214. Springer (1997) 855\u2013859."},{"key":"13_CR34","unstructured":"Krieg-Br\u00fcckner, B., Peleska, J., Olderog, E.-R., Balzer, D., Baer, A: UniForM Workbench, Universelle Entwicklungsumgebung f\u00fcr Formale Methoden; Schlu\u03b2bericht. 1998. Monographs of the Bremen Institute of Safe Systems 9. ISBN 3-8265-3656-8. Shaker, 1999."},{"key":"13_CR35","doi-asserted-by":"crossref","unstructured":"Lankenau, A., Meyer, O., Krieg-Br\u00fcckner, B.: Safety in Robotics: The Bremen Autonomous Wheelchair. In: Proc. AMC\u201998, 5th Int. Workshop on Advanced Motion Control, Coimbra, Portugal 1998. ISBN 0-7803-4484-7, pp. 524\u2013529.","DOI":"10.1109\/AMC.1998.743591"},{"key":"13_CR36","unstructured":"L\u00fcth, C.: Transformational Program Development in the UniForM Workbench. Selected Papers from the 8th Nordic Workshop on Programming Theory, Oslo, Dec. 1996. Oslo University Technical Report 248, May 1997."},{"key":"13_CR37","unstructured":"L\u00fcth, C. and Wolff, B.: Functional Design and Implementation of Graphical User Interfaces for Theorem Provers. J. of Functional Programming (to appear)."},{"key":"13_CR38","unstructured":"L\u00fcth, C., Karlsen, E. W., Kolyang, Westmeier, S., Wolff, B.: HOL-Z in the UniForM Workbench-a Case Study in Tool Integration for Z. In J. Bowen, A. Fett,, M. Hinchey (eds.): Proc. ZUM\u201998, 11th International Conference of Z Users, LNCS 1493, Springer (1998) 116\u2013134."},{"key":"13_CR39","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1007\/978-3-540-49020-3_17","volume-title":"Fundamental Approaches to Software Engineering (FASE\u201999, at ETAPS\u201999)","author":"C. L\u00fcth","year":"1999","unstructured":"L\u00fcth, C., Tej, H., Kolyang, Krieg-Br\u00fcckner, B.: TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving. In J.-P. Finance (ed.): Fundamental Approaches to Software Engineering (FASE\u201999, at ETAPS\u201999). LNCS 1577. Springer (1999) 239\u2013243. http:\/\/www.tzi.de\/~agbkb"},{"key":"13_CR40","unstructured":"L\u00fcth, C., Westmeier, S., Wolff, B.: sml_tk: Functional Programming for Graphical User Interfaces. Informatik Bericht Nr. 8\/96, Universit\u00e4t Bremen. http:\/\/www.tzi.de\/~cxl\/sml_tk"},{"key":"13_CR41","unstructured":"Meyer, O.: Automated Test of a Power and Thermal Controller of a Satellite. In: Test Automation for Reactive Systems-Theory and Practice. Dagstuhl Seminar 98361, Schloss Dagstuhl, (1998)."},{"key":"13_CR42","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1007\/3-540-61629-2_54","volume-title":"Recent Trends in Data Type Specification","author":"T. Mossakowski","year":"1996","unstructured":"Mossakowski, T.: Using limits of parchments to systematically construct institutions of partial algebras. In M. Haveraaen, O. Owe, O.-J. Dahl, eds.: Recent Trends in Data Type Specification, LNCS 1130, Springer (1996) 379\u2013393."},{"key":"13_CR43","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/BFb0030591","volume-title":"Theory and Practice of Software Development\u2019 97","author":"P. Mosses","year":"1997","unstructured":"Mosses, P.: CoFI: The Common Framework Initiative for Algebraic Specification and Development. In Bidoit, M., Dauchet, M. (eds.): Theory and Practice of Software Development\u2019 97. LNCS 1214, Springer (1997) 115\u2013137."},{"key":"13_CR44","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1007\/3-540-48483-3_14","volume-title":"Recent Trends in Algebraic Development Techniques","author":"T. Mossakowski","year":"1999","unstructured":"Mossakowski, T.: Translating OBJ3 to CASL: the Institution Level. In J. L. Fiadeiro (ed.): Recent Trends in Algebraic Development Techniques. 13th Int\u2019l Workshop, WADT\u201998, Lisbon, Selected Papers. LNCS 1589 (1999) 198\u2013214."},{"key":"13_CR45","unstructured":"Mossakowski, T.: Representation, Hierarchies and Graphs of Institutions. Dissertation, Universit\u00e4t Bremen, 1996. Revised version. Monographs of the Bremen Institute of Safe Systems 2, ISBN 3-8265-3653-3, Shaker, 1999."},{"key":"13_CR46","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1007\/3-540-64299-4_43","volume-title":"Recent Trends in Algebraic Development Techniques. WADT\u201997","author":"T. Mossakowski","year":"1998","unstructured":"Mossakowski, T., Kolyang, Krieg-Br\u00f6ckner, B.: Static Semantic Analysis and Theorem Proving for CASL. In Parisi-Pressice, F. (ed.): Recent Trends in Algebraic Development Techniques. WADT\u201997, LNCS 1376, Springer (1998) 333\u2013348."},{"key":"13_CR47","unstructured":"Mossakowski, T., Tarlecki, A., Pawlowski, W.: Combining and Representing Logical Systems, In Moggi, E. and Rosolini, G. (eds.): Category Theory and Computer Science, 7th Int. Conf. LNCS 1290, Springer (1997) 177\u2013196."},{"key":"13_CR48","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1007\/3-540-64299-4_44","volume-title":"Recent Trends in Algebraic Development Techniques","author":"T. Mossakowski","year":"1998","unstructured":"Mossakowski, T., Tarlecki, A., Pawlowski, W.: Combining and Representing Logical Systems Using Model-Theoretic Parchments. In Parisi-Pressice, F. (ed.): Recent Trends in Algebraic Development Techniques. WADT\u201997, LNCS 1376, Springer (1998) 349\u2013364."},{"key":"13_CR49","doi-asserted-by":"crossref","unstructured":"Olderog, E.-R.: Formal Methods in Real-Time Systems. In Proc. 10 th EuroMicro Workshop on Real Time Systems. IEEE Computer Society (1998) 254\u2013263.","DOI":"10.1109\/EMWRTS.1998.685130"},{"key":"13_CR50","series-title":"Lect Notes Comput Sci","volume-title":"Isabelle: A Generic Theorem Prover","author":"L. C. Paulson","year":"1995","unstructured":"Paulson, L. C.: Isabelle: A Generic Theorem Prover. LNCS 828, 1995."},{"key":"13_CR51","unstructured":"European Computer Manufacturers Association: Portable Common Tool Environment (PCTE), Abstract Specification, 3rd ed., ECMA-149. Geneva, 1994."},{"key":"13_CR52","first-page":"72","volume-title":"Formal Methods and the Development of Dependable Systems","author":"J. Peleska","year":"1996","unstructured":"Peleska, J.: Formal Methods and the Development of Dependable Systems. Bericht 1\/96, Universit\u00e4t Bremen, Fachbereich Mathematik und Informatik (1996) 72p. http:\/\/www.tzi.de\/~jp\/papers\/depend.ps.gz"},{"key":"13_CR53","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1007\/3-540-60973-3_79","volume-title":"FME\u201996: Industrial Benefit and Advances in Formal Methods","author":"J. Peleska","year":"1996","unstructured":"Peleska, J.: Test Automation for Safety-Critical Systems: Industrial Application and Future Developments. In: M.-C. Gaudel, J. Woodcock (eds.): FME\u201996: Industrial Benefit and Advances in Formal Methods. LNCS 1051 (1996) 39\u201359."},{"key":"13_CR54","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"288","DOI":"10.1007\/3-540-58468-4_171","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"J. He","year":"1994","unstructured":"He, J., Hoare, C.A.R., Fr\u00e4nzle, M., M\u00fcller-Olm, M., Olderog, E.-R., Schenke, M., Hansen, M.R., Ravn, A.P., Rischel, H.: Provably Correct Systems. In H. Langmaack, W.-P., de Roever, J., Vytopil (Eds.): Formal Techniques in Real-Time and Fault-Tolerant Systems. LNCS 863, Springer (1994).288\u2013335."},{"key":"13_CR55","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"538","DOI":"10.1007\/3-540-60973-3_106","volume-title":"FME\u201996: Industrial Benefit and Advances in Formal Methods","author":"J. Peleska","year":"1996","unstructured":"Peleska, J., Siegel, M.: From Testing Theory to Test Driver Implementation. in: M.-C. Gaudel, J. Woodcock (eds.): FME\u201996: Industrial Benefit and Advances in Formal Methods. LNCS 1051 (1996) 538\u2013556."},{"key":"13_CR56","first-page":"53","volume":"19","author":"J. Peleska","year":"1997","unstructured":"Peleska, J., Siegel, M.: Test Automation of Safety-Critical Reactive Systems. South African Computer Journal 19 (1997) 53\u201377. http:\/\/www.tzi.de\/ ~jp\/papers\/sacj97.ps.gz","journal-title":"South African Computer Journal"},{"key":"13_CR57","unstructured":"Purper, C.: GDPA: A Process Web-Center. Proc. 2nd Workshop on Software Engineering over the Internet, with ICSE\u201999, Los Angeles, 1999. http:\/\/www.sern.cpsc.ucalgary.ca\/~maurer\/ICSE99WS\/Program.htm"},{"key":"13_CR58","unstructured":"Purper, C.: An Environment to support flexibility in process standards. Proc. 1 st IEEE Conf. on Standardization and Innovation in Information Technology. Aachen, 1999 (to appear)."},{"key":"13_CR59","unstructured":"Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice Hall, 1997."},{"key":"13_CR60","unstructured":"Schlingloff, H., Meyer, O., H\u00fclsing, Th.: Correctness Analysis of an Embedded Controller. In Data Systems in Aerospace, DASIA\u2019 99, Lissabon (May 1999)."},{"key":"13_CR61","first-page":"1","volume":"810","author":"A. Sernadas","year":"1998","unstructured":"Sernadas, A., Sernadas, C., Caleiro, C.: Fibring of logics as a categorial construction. Journal of Logic and Computation 8:10 (1998) 1\u201331.","journal-title":"Journal of Logic and Computation"},{"key":"13_CR62","unstructured":"Sernadas, A., Sernadas, C., Caleiro, C., Mossakowski, T.: Categorical Fibring of Logics with Terms and Binding Operators. In Gabbay, D., van Rijke, M. (eds.): Frontiers of Combining Systems. Research Studies Press (to appear)."},{"key":"13_CR63","unstructured":"Tapken, J.: Interactive and Compilative Simulation of PLC-Automata. In Hahn, W., Lehmann, A. (eds.): Simulation in Industry, ESS\u201897. Society for Computer Simulation (1997) 552\u2013556."},{"key":"13_CR64","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1007\/BFb0053601","volume-title":"Fundamental Approaches to Software Engineering, FASE\u201998","author":"J. Tapken","year":"1998","unstructured":"Tapken, J.: MOBY\/PLC-A Design Tool for Hierarchical Real-Time Automata. In: Astesiano, E. (ed.): Fundamental Approaches to Software Engineering, FASE\u201998, at ETAPS\u201998, Lisbon. LNCS 1382, Springer (1998) 326\u2013329."},{"key":"13_CR65","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1007\/BFb0055360","volume-title":"FTRTFT\u201998","author":"J. Tapken","year":"1998","unstructured":"Tapken, J., Dierks, H.: Moby\/PLC-Graphical Development of PLC-Automata. In Ravn, A.P., Rischel, H. (eds.): FTRTFT\u201998, LNCS 1486, Springer (1998) 311\u2013314."},{"key":"13_CR66","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"478","DOI":"10.1007\/3-540-61629-2_59","volume-title":"Recent Trends in Data Type Specifications","author":"A. Tarlecki","year":"1996","unstructured":"Tarlecki, A: Moving between logical systems. In M. Haveraaen, O. Owe, O.-J. Dahl, eds.: Recent Trends in Data Type Specifications, LNCS 1130, 478\u2013502. Springer, 1996."},{"key":"13_CR67","unstructured":"Tej, H. (1999): HOL-CSP: Mechanized Formal Development of Concurrent Processes. Dissertation. (forthcoming)"},{"key":"13_CR68","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"318","DOI":"10.1007\/3-540-63533-5_17","volume-title":"Formal Methods Europe, FME\u201997","author":"H. Tej","year":"1997","unstructured":"Tej, H., Wolff, B.: A Corrected Failure-Divergence Model for CSP in Isabelle \/ HOL. Formal Methods Europe, FME\u201997. LNCS 1313, Springer (1997) 318\u2013337."},{"key":"13_CR69","unstructured":"Urban, G., Kolinowitz, H.-J., Peleska, J.: A Survivable Avionics System for Space Applications. in Proc. FTCS-28, 28th Annual Symposium on Fault-Tolerant Computing, Munich, Germany, 1998."},{"key":"13_CR70","unstructured":"V-Model: Development Standard for IT Systems of the Federal Republic of Germany. General Directives: 250: Process Lifecycle; 251: Methods Allocation; 252: Functional Tool Requirements. (1997)."},{"issue":"5","key":"13_CR71","first-page":"269","volume":"40","author":"C. Zhou","year":"1992","unstructured":"Zhou, C., Hoare, C.A.R., Ravn, A.P.: A Calculus of Durations. Information Processing Letters 40(5) (1992) 269\u2013276.","journal-title":"Information Processing Letters"}],"container-title":["Lecture Notes in Computer Science","FM\u201999 \u2014 Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48118-4_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,22]],"date-time":"2025-01-22T09:11:02Z","timestamp":1737537062000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48118-4_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540665885","9783540481188"],"references-count":71,"URL":"https:\/\/doi.org\/10.1007\/3-540-48118-4_13","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}