{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:01:11Z","timestamp":1725562871584},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642156502"},{"type":"electronic","value":"9783642156519"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15651-9_1","type":"book-chapter","created":{"date-parts":[[2010,8,10]],"date-time":"2010-08-10T09:12:19Z","timestamp":1281431539000},"page":"1-14","source":"Crossref","is-referenced-by-count":3,"title":["Reliability Analysis of Safety-Related Communication Architectures"],"prefix":"10.1007","author":[{"given":"Oliver","family":"Schulz","sequence":"first","affiliation":[]},{"given":"Jan","family":"Peleska","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"CENELEC: En 50159-1. railway applications -communication, signalling and processing systems part 1: Safety-related communication in closed transmission systems (2001)"},{"key":"1_CR2","unstructured":"CENELEC: En 50159-2. railway applications -communication, signalling and processing systems part 2: Safety related communication in open transmission systems (2001)"},{"key":"1_CR3","unstructured":"IEC: Iec 60050-191-am1 ed1.0 amendment 1 - international electrotechnical vocabulary. ch. 191, Dependability and quality of service (1999)"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Alur, R., Dill, D.: A Theory of Timed Automata. Theoretical Computer Science\u00a0(126), 183\u2013235 (1994)","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"1_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-30080-9_7","volume-title":"Formal Methods for the Design of Real-Time Systems","author":"G. Behrmann","year":"2004","unstructured":"Behrmann, G., David, A., Larsen, K.G.: A tutorial on uppaal. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol.\u00a03185, pp. 200\u2013236. Springer, Heidelberg (2004)"},{"key":"1_CR6","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Advanced Information Systems Engineering","author":"S. Kelly","year":"1996","unstructured":"Kelly, S., Lyytinen, K., Rossi, M.: Metaedit+ a fully configurable multi-user and multi-tool case and came environment. In: Constantopoulos, P., Vassiliou, Y., Mylopoulos, J. (eds.) CAiSE 1996. LNCS, vol.\u00a01080, pp. 1\u201321. Springer, Heidelberg (1996)"},{"key":"1_CR7","unstructured":"Esposito, R., Sanseviero, A., Lazzaro, A., Marmo, P.: Formal verification of ertms euroradio safety critical protocol. In: Proceedings of FORMS 2003, Budapest, Hungary, May 15-16 (2003)"},{"key":"1_CR8","unstructured":"Peleska, J., Gro\u00dfe, D., Haxthausen, A.E., Drechsler, R.: Automated verification for train control systems. In: Schnieder, E., Tarnai, G. (eds.) Proceedings of the FORMS\/FORMAT 2004 - Formal Methods for Automation and Safety in Railway and Automotive Systems, Technical University of Braunschweig, pp. 252\u2013265 (December 2004) ISBN 3-9803363-8-7"},{"key":"1_CR9","unstructured":"Schlingloff, F.: Barthel: Verifikation und test des profisafe-sicherheitsprofils (2007)"},{"key":"1_CR10","unstructured":"Maxemchuk, N.F., Sabnani, K.K.: Probabilistic verification of communication protocols. In: PSTV, pp. 307\u2013320 (1987)"},{"key":"1_CR11","series-title":"Electronic Notes in Theoretical Computer Science","first-page":"195","volume-title":"Proc. 4th Workshop on Automated Verification of Critical Systems (AVoCS 2004)","author":"M. Duflot","year":"2004","unstructured":"Duflot, M., Fribourg, L., H\u00e9rault, T., Lassaigne, R., Magniette, F., Messika, S., Peyronnet, S., Picaronny, C.: Probabilistic model checking of the CSMA\/CD protocol using PRISM and APMC. In: Proc. 4th Workshop on Automated Verification of Critical Systems (AVoCS 2004). Electronic Notes in Theoretical Computer Science, vol.\u00a0128(6), pp. 195\u2013214. Elsevier Science, Amsterdam (2004)"},{"key":"1_CR12","unstructured":"metacase.com: Metaedit+ workbench (2009)"},{"key":"1_CR13","first-page":"8","volume":"3","author":"M. K\u00e4hloer","year":"2008","unstructured":"K\u00e4hloer, M.: The european train control system in thales signalling solutions. Mechanics Transport Communications\u00a03, VIII\u20138\u2013VIII\u201312 (2008)","journal-title":"Mechanics Transport Communications"},{"key":"1_CR14","volume-title":"Principles of Model Checking","author":"C. Baier","year":"2008","unstructured":"Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15651-9_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T03:11:07Z","timestamp":1606187467000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15651-9_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642156502","9783642156519"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15651-9_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}