{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T08:10:33Z","timestamp":1737360633740,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540666240"},{"type":"electronic","value":"9783540480921"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48092-7_16","type":"book-chapter","created":{"date-parts":[[2007,8,10]],"date-time":"2007-08-10T17:01:46Z","timestamp":1186765306000},"page":"363-389","source":"Crossref","is-referenced-by-count":8,"title":["Formal Methods for the International Space Station ISS"],"prefix":"10.1007","author":[{"given":"Jan","family":"Peleska","sequence":"first","affiliation":[]},{"given":"Bettina","family":"Buth","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,3,24]]},"reference":[{"key":"16_CR1","unstructured":"Booch, G., Rumbaugh, J. and Jacobsen, I.: The Unified Modeling Language User Guide. Addison-Wesley (1998)."},{"key":"16_CR2","unstructured":"Booch, G., Rumbaugh, J. and Jacobsen, I.: The Unified Modeling Language Reference Manual. Addison-Wesley (1999)."},{"key":"16_CR3","unstructured":"Buth, B., Cardell-Oliver, R., Peleska, J.: Combining tools for the verification of fault-tolerant systems. In Berghammer, R., Buth, B., Peleska, J. (eds.), Tools for Software Development and Verification, Monographs of the Bremen Institute of Safe Systems 1, Shaker Verlag, (1998), ISBN 3-8265-3806-4."},{"key":"16_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"560","DOI":"10.1007\/BFb0000497","volume-title":"Algebraic Methodology and Software Technology","author":"B. Buth","year":"1997","unstructured":"Bettina Buth: PAMELAtPVS (Abstract for Tool Demo) InMichael Johnson (Ed.): Algebraic Methodology and Software Technology. Proceedings of the AMAST\u201897, Sidney, Australia, December 1997, Springer LNCS 1349 (1997), 560\u2013562."},{"key":"16_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. Proceedings of the AMAST\u201897","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. Proceedings of the AMAST\u201897, number 1349 in LNCS, pages 60\u201375. Springer, December 1997."},{"key":"16_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","author":"B. Buth","year":"1998","unstructured":"Buth, B., Peleska, J., Shi, H.: Combining Methods for the Livelock Analysis of a Fault-Tolerant System. In A. M. Haeberer (Ed.): Algebraic Methodology and Software Technology. Proceedings of the 7th International Conference, AMAST 98, Amazonia, Brazil, January 1999. Springer LNCS 1548, pp. 124\u2013139, 1998."},{"key":"16_CR7","unstructured":"Buth, B., Peleska, J., Shi, H.: Combining Methods for the Analysis of a Fault-Tolerant System. CD-ROM Proceedings of the 12th International Software Quality Week, May 24-28, 1999, Software Research Institute."},{"key":"16_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1007\/3-540-63010-4_8","volume-title":"Transformation-Based Reactive Systems Development (ARTS\u201897","author":"H. Dierks","year":"1997","unstructured":"Dierks, H.: PLC-Automata: A New Class of Implementable Real-Time Automata. In M. Bertran and T. Rus, editors, Transformation-Based Reactive Systems Development (ARTS\u201897), volume 1231 of Lecture Notes in Computer Science, pages 111\u2013125. Springer-Verlag, 1997."},{"key":"16_CR9","unstructured":"Formal Systems: FDR2 User Manual Formal Systems (Europe) Lts (1997). Available under http:\/\/www.formal.demon.co.uk\/fdr2manual\/index.html"},{"key":"16_CR10","unstructured":"Gamma, E., Helm, R., Johnson, R. and Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software Addison-Wesley (1995)"},{"key":"16_CR11","unstructured":"D. Harel, A. Pnueli, J. Pruzan-Schmidt and R. Sherman. On the formal semantics of Statecharts. In Proceedings Symposium on Logic in Computer Science, (1987) 54\u201364."},{"key":"16_CR12","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall International (1985)."},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"Lamport, L., Shostak, R., Pease, M.: The Byzantine Generals Problem, In: ACM Transactions on Programming Languages and Systems, Vol.4, Nr. 3, (1982)","DOI":"10.1145\/357172.357176"},{"key":"16_CR14","doi-asserted-by":"crossref","unstructured":"Lankenau, A., Meyer, O. and Krieg-Br\u00fcckner, B.: Safety in Robotics: The Bremen Autonomous Wheelchair. In: Proceedings of AMC\u201898-Coimbra, 5th Int.Workshop on Advanced Motion Control, Coimbra, Portugal 1998. ISBN 0-7803-4484-7. pp. 524-529.","DOI":"10.1109\/AMC.1998.743591"},{"key":"16_CR15","unstructured":"Lankenau, A., Meyer, O.: Formal Methods in Robotics: Fault Tree Based Verification. Submitted to Quality Week Europe 99."},{"key":"16_CR16","unstructured":"R.S. Lazi\u0107c: Theories for mechanical verification of data-independent CSP, Oxford University Computing Laboratory technical report, 1997."},{"key":"16_CR17","unstructured":"Lyu, M. R. (ed.): Handbook of Software Reliability Engineering, IEEE Computer Society Press, Computing McGraw-Hill (1995)."},{"key":"16_CR18","unstructured":"Milner, R.:Communication and Concurrency. Prentice-Hall International (1989)."},{"key":"16_CR19","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1007\/3-540-60973-3_79","volume-title":"FME \u201896: Industrial Benefit and Advances in Formal Methods","author":"J. Peleska","year":"1996","unstructured":"J. Peleska: Test Automation for Safety-Critical Systems: Industrial Application and Future Developments. In M.-C. Gaudel and J. Woodcock (Eds.): FME \u201896: Industrial Benefit and Advances in Formal Methods. LNCS 1051, Springer-Verlag, Berlin Heidelberg New York (1996) 39\u201359."},{"key":"16_CR20","unstructured":"J. Peleska: Formal Methods and the Development of Dependable Systems. Habilitationsschrift, Bericht Nr. 9612, Dezember 1996, Institut f\u00fcr Informatik und Praktische Mathematik, Christian-Albrechts-Universit\u00e4t Kiel (1997)."},{"key":"16_CR21","first-page":"53","volume":"19","author":"J. Peleska","year":"1997","unstructured":"J. Peleska and M. Siegel: Test Automation of Safety-Critical Reactive Systems. South African Computer Jounal (1997)19:53\u201377.","journal-title":"Test Automation of Safety-Critical Reactive Systems"},{"key":"16_CR22","unstructured":"Peleska, J.: Testing Reactive Real-Time Systems. Tutorial, held at the FTRTFT \u201898. Denmark Technical University, Lyngby (1998)."},{"key":"16_CR23","first-page":"34","volume":"19","author":"J. Peleska","year":"1999","unstructured":"J. Peleska and C. Zahlten: Test Automation for Avionic Systems and Space Technology (Extended Abstract). Softwaretechnik-Trends (1999)19:34\u201336.","journal-title":"Test Automation for Avionic Systems and Space Technology (Extended Abstract)"},{"key":"16_CR24","unstructured":"Roscoe, A. W.: The Theory and Practice of Concurrency. Prentice-Hall International (1998)."},{"key":"16_CR25","unstructured":"Shi, H., Peleska, J.: Daimler-Benz Aerospace-Project DMS-R, FTC Development-Fault Management Layer (FML): Verification of Byzantine Agreement Protocol Implementation. Technical Report, JP Software-Consulting, (1998)."},{"key":"16_CR26","first-page":"193","volume":"116","author":"S. Schneider","year":"1995","unstructured":"Schneider, S.: An Operational Semantics for Timed CSP. Information and Computation, 116:193\u2013213, 1995.","journal-title":"An Operational Semantics for Timed CSP"},{"key":"16_CR27","doi-asserted-by":"crossref","unstructured":"Shi, H., Peleska, J. and Kouvaras, M: Combining Methods for the Analysis of a Fault-Tolerant System. Submitted to 1999 Pacific Rim International Symposium on Dependable Computing (PRDC 1999).","DOI":"10.1109\/PRDC.1999.816222"},{"key":"16_CR28","unstructured":"M. J. Spivey. The Z Notation. Prentice-Hall International, Englewood Cliffs NJ (1992)."},{"key":"16_CR29","unstructured":"Storey, N.: Safety-Critical Computer Systems. Addison-Wesley (1996)."},{"key":"16_CR30","doi-asserted-by":"crossref","unstructured":"L. Twele, H. Schlinglo, H. Szczerbicka: Performability Analysis of an Avionics-Interface; Proc. IEEE Conf. on Systems, Man and Cybernetics; San Diego, N.J., pp. 499\u2013504, (Oct. 1998)","DOI":"10.1109\/ICSMC.1998.725461"},{"key":"16_CR31","doi-asserted-by":"crossref","unstructured":"Gerd Urban, Hans-Joachim Kolinowitz and Jan Peleska: A Survivable Avionics System for Space Applications. Published in Proceedings of the FTCS-28, 28th Annual Symposium on Fault-Tolerant Computing, Munich, June 23-25, 1998, 372\u2013381.","DOI":"10.1109\/FTCS.1998.689488"},{"key":"16_CR32","first-page":"49","volume":"1","author":"Z. Liu","year":"1994","unstructured":"Zhiming Liu, E. V. S\u00f8rensen, A. P. Ravn and Chaochen Zhou: Towards a Calculus of System Dependability. Journal of high integrity systems (1994) 1: 49\u201365.","journal-title":"Towards a Calculus of System Dependability"}],"container-title":["Lecture Notes in Computer Science","Correct System Design"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48092-7_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T07:42:42Z","timestamp":1737358962000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48092-7_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540666240","9783540480921"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/3-540-48092-7_16","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}