{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:26:21Z","timestamp":1725456381871},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540646082"},{"type":"electronic","value":"9783540693390"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0028732","type":"book-chapter","created":{"date-parts":[[2005,12,1]],"date-time":"2005-12-01T06:48:09Z","timestamp":1133419689000},"page":"57-60","source":"Crossref","is-referenced-by-count":2,"title":["Formal methods in an industrial environment"],"prefix":"10.1007","author":[{"given":"Jorge R.","family":"Cu\u00e9llar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,18]]},"reference":[{"key":"7_CR1","unstructured":"ASM-Bibliography. http:\/\/www.eecs.umich.edu\/gasm\/. WWW page."},{"issue":"1","key":"7_CR2","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1109\/70.481746","volume":"12","author":"B. A. Brandin","year":"1996","unstructured":"B. A. Brandin, \u201cThe Real Time Supervisory Control of an Experimental Manufacturing Cell\u201d, IEEE Transactions on Robotics and Automation, Vol. 12, No. 1, February 1996, pp. 329\u2013342.","journal-title":"IEEE Transactions on Robotics and Automation"},{"key":"7_CR3","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","author":"Holger 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-8th International Workshop, Aspen Grove, UT, USA, Proceedings, pages 106\u2013121. Springer-Verlag, LNCS 971, September 1995."},{"key":"7_CR4","first-page":"77","volume-title":"Lecture Notes in Computer Science","author":"Holger Busch","year":"1996","unstructured":"H. Busch. Proving Liveness of Fair Transition Systems. In J. v. Wright, J. Grundy, and J. Harrison, editors, Theorem Proving in Higher Order Logics: 9th International Conference, TPHOL'96, volume 1125 of LNCS, pages 77\u201392. Springer-Verlag, August 1996."},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"J. R. Cuellar and 1. Wildgruber. A TLT Solution. In J. R. Abrial, E. B\u00f6rger, and H. Langmaak, editors, Formal Methods for Industrial Applications. Specifying and Programming the Steam Boiler, volume 1165 of LNCS, pages 165\u2013183. Springer-Verlag, 1996.","DOI":"10.1007\/BFb0027236"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Jorge Cuellar, Dieter Barnard, and Martin Huber. Rapid Prototyping for an Assertional Specification Language. TACAS'96, LNCS 1055, March 1996.","DOI":"10.1007\/3-540-61042-1_59"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"N. Halbwachs. Synchronous Programming of Reactive Systems. Kluwer, 1993.","DOI":"10.1007\/978-1-4757-2231-4"},{"key":"7_CR8","series-title":"Volume 1397 of VDI-Berichte","volume-title":"Eine Verifikationskomponente f\u00fcr HiGraph","author":"M. H\u00f6lzlein","year":"1998","unstructured":"M. H\u00f6lzlein, Th. Filkorn, P. Warkentin, and M. Weiss. Eine Verifikationskomponente f\u00fcr HiGraph. Volume 1397 of VDI-Berichte. VDI-Verlag, D\u00fcsseldorf, 1998."},{"key":"7_CR9","unstructured":"Klaus N\u00f6kel and Klaus Winkelmann. 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":"7_CR10","unstructured":"Sacres Esprit Project. http:\/\/www.ilogix.co.uk\/ilogix\/sacres.html. WWW home page."},{"issue":"1","key":"7_CR11","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1109\/5.21072","volume":"77","author":"P. J. Ramadge","year":"1989","unstructured":"P. J. Ramadge and W. M. Wonham, \u201cThe Control of Discrete-Event Systems\u201d, IEEE Proceedings, Vol. 77, No. 1, January 1989, pp. 81\u201398.","journal-title":"EEE Proceedings"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Franz Regensburger and Aenne Barnard. Formal Verification of SDL Systems at the Siemens Mobile Phone Department. In TACAS 1998, Lecture Notes in Computer Science. Springer-Verlag, 1998.","DOI":"10.1007\/BFb0054188"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Karl Stroetmann. SEDUCT-a proof compiler for first order logic. In Manfred Broy and Stefan J\u00e4nichen, editors, KORSO: Methods, Languages, and Tools for the Construction of Correct Software, volume 1009 of Lecture Notes in Computer Science, pages 299\u2013316. Springer Verlag, 1995.","DOI":"10.1007\/BFb0015469"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0028732","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T08:23:41Z","timestamp":1586593421000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0028732"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540646082","9783540693390"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/bfb0028732","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}