{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T04:02:06Z","timestamp":1778299326607,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540616481","type":"print"},{"value":"9783540706533","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61648-9_58","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:10:42Z","timestamp":1330294242000},"page":"467-470","source":"Crossref","is-referenced-by-count":35,"title":["AutoFocus \u2014 A tool for distributed systems specification"],"prefix":"10.1007","author":[{"given":"Franz","family":"Huber","sequence":"first","affiliation":[]},{"given":"Bernhard","family":"Sch\u00e4tz","sequence":"additional","affiliation":[]},{"given":"Alexander","family":"Schmidt","sequence":"additional","affiliation":[]},{"given":"Katharina","family":"Spies","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"28_CR1","unstructured":"Manfred Broy, Frank Dederichs, Claus Dendorfer, Max Fuchs, Thomas Gritzner, and Rainer Weber. The design of distributed systems \u2014 an introduction to FOCUS. TUM-I 9202-2, Technische Universit\u00e4t M\u00fcnchen, 1993."},{"key":"28_CR2","unstructured":"Manfred Broy, Max Fuchs, Thomas Gritzner, Bernhard Sch\u00e4tz, Katharina Spies, and Ketil St\u00f8len. Summary of case studies in FOCUS \u2014 a design method for distributed systems. TUM-I 9423, Technische Universit\u00e4t M\u00fcnchen, 1994."},{"key":"28_CR3","unstructured":"R. Grosu, C. Klein, B. Rumpe, and M. Broy. State Transition Diagrams. Syslab project, internal report, to be published."},{"key":"28_CR4","unstructured":"International Telecommunication Union, Geneva. Message Sequence Charts, 1996. ITU-T Recommendation Z.120."},{"key":"28_CR5","doi-asserted-by":"crossref","unstructured":"M. P. Jones. An Introduction to Gofer, August 1993.","DOI":"10.1007\/978-1-4899-4489-4_1"},{"key":"28_CR6","unstructured":"Lawrence C. Paulson. Isabelle: A Generic Theorem Prover, volume 828 of LNCS. Springer-Verlag, 1994."}],"container-title":["Lecture Notes in Computer Science","Formal Techniques in Real-Time and Fault-Tolerant Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61648-9_58.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:09:08Z","timestamp":1605647348000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61648-9_58"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540616481","9783540706533"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/3-540-61648-9_58","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996]]}}}