{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:18:15Z","timestamp":1725455895071},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540619291"},{"type":"electronic","value":"9783540495666"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/bfb0027236","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T06:46:29Z","timestamp":1132382789000},"page":"165-183","source":"Crossref","is-referenced-by-count":2,"title":["The steam-boiler problem \u2014 A TLT solution"],"prefix":"10.1007","author":[{"given":"Jorge","family":"Cu\u00e9llar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Isolde","family":"Wildgruber","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,18]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"Dieter Barnard and Simon Crosby. The Specification and Verification of an ATM Signalling Protocol. In Proc. of 15th IFIP PSTV'95, Warsaw, June 1995.","DOI":"10.1007\/978-0-387-34892-6_10"},{"key":"9_CR2","doi-asserted-by":"crossref","first-page":"106","DOI":"10.1007\/3-540-60275-5_60","volume-title":"Higher Order Logic Theorem Proving and its Applications \u2014 8th International Workshop","author":"H. Busch","year":"1995","unstructured":"H. Busch. A Practical Method for Reasoning About Distributed Systems in a Theorem Prover. In Higher Order Logic Theorem Proving and its Applications \u2014 8th International Workshop, Aspen Grove, UT, USA, Proceedings, pages 106\u2013121. Springer-Verlag, LNCS 971, September 1995."},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Jorge Cu\u00e9llar, Dieter Barnard, and Martin Huber. A Solution relying on the Model Checking of Boolean Transition Systems. In The RPC-Memory Specification Problem, to appear in LNCS, 1996.","DOI":"10.1007\/BFb0024431"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Jorge Cu\u00e9llar, Dieter Barnard, and Martin Huber. Rapid Protyping for an Assertional Specification Language. TACAS'96, LNCS 1055, March 1996.","DOI":"10.1007\/3-540-61042-1_59"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"C. Courcoubetis, S. Graf, and J. Sifakis. An Algebra of Boolean Processes. In Proc. of CAV'91, pages 454\u2013465, 1991.","DOI":"10.1007\/3-540-55179-4_42"},{"key":"9_CR6","unstructured":"Jorge Cu\u00e9llar and Martin Huber. The FZI Production Cell Case Study: A distributed solution using TLT. In Formal Development of Reactive Systems: Case Study Production Cell, volume 891 of LNCS. Springer-Verlag, 1995."},{"key":"9_CR7","first-page":"639","volume-title":"Proc. of FME'94, volume 873 of LNCS","author":"J. R. Cu\u00e9llar","year":"1994","unstructured":"J. R. Cu\u00e9llar, I. Wildgruber, and D. Barnard. Combining the Design of Industrial Systems with Effective Verification Techniques. In M. Naftalin, T. Denvir, and M. Betran, editors, Proc. of FME'94, volume 873 of LNCS, pages 639\u2013658, Barcelona, Spain, October 1994. Springer-Verlag."},{"key":"9_CR8","unstructured":"T. Filkorn, H.A. Schneider, A. Scholz, A. Strasser, and P. Warkentin. SVE User's Guide. Technical report, Siemens AG, ZFE T SE 1, D-81730 M\u00fcnchen, Germany, 1994."},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"R.P. Kurshan. Computer Aided Verification of Coordinating Processes. Princeton University Press, 1994.","DOI":"10.1515\/9781400864041"},{"issue":"3","key":"9_CR10","doi-asserted-by":"crossref","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"L. Lamport","year":"1994","unstructured":"L. Lamport. The Temporal Logic of Actions. ACM Transactions on Programming Languages and Systems, 16(3):872\u2013923, May 1994.","journal-title":"ACM Transactions on Programming Languages and Systems"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Industrial Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0027236","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T01:30:53Z","timestamp":1586568653000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0027236"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540619291","9783540495666"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/bfb0027236","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}