{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,14]],"date-time":"2026-02-14T04:15:35Z","timestamp":1771042535773,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540643562","type":"print"},{"value":"9783540697534","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0054178","type":"book-chapter","created":{"date-parts":[[2006,7,27]],"date-time":"2006-07-27T05:43:43Z","timestamp":1153979023000},"page":"281-297","source":"Crossref","is-referenced-by-count":35,"title":["Formal design and analysis of a gear controller"],"prefix":"10.1007","author":[{"given":"Magnus","family":"Lindahl","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Pettersson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wang","family":"Yi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,5,25]]},"reference":[{"issue":"2","key":"19_CR1","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"R. Alur and D. Dill. Automata for Modelling Real-Time Systems. Theoretical Computer Science, 126(2):183\u2013236, April 1994.","journal-title":"Theoretical Computer Science"},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"Johan Bengtsson, David Griffioen, K\u00e5re Kristoffersen, Kim G. Larsen, Predrik Larsson, Paul Pettersson, and Wang Yi. Verification of an Audio Protocol with Bus Collision Using Uppaal. In Rajeev Alur and Thomas A. Henzinger, editors, Proc. of 8th Int. Conf. on Computer Aided Verification, number 1102 in Lecture Notes in Computer Science, pages 244\u2013256. Springer-Verlag, July 1996.","DOI":"10.1007\/3-540-61474-5_73"},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"Johan Bengtsson, Kim G. Larsen, Predrik Larsson, Paul Pettersson, and Wang Yi. Uppaal in 1995. In Proc. of the 2nd Workshop on Tools and Algorithms for the Construction and Analysis of Systems, number 1055 in Lecture Notes in Computer Science, pages 431\u2013434. Springer-Verlag, Mars 1996.","DOI":"10.1007\/3-540-61042-1_66"},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"C. Daws, A. Olivero, S. Tripakis, and S. Yovine. The tool Kronos. In Rajeev Alur, Thomas A. Henzinger, and Eduardo D. Sontag, editors, Proc. of Workshop on Verification and Control of Hybrid Systems III, Lecture Notes in Computer Science, pages 208\u2013219. Springer-Verlag, October 1995.","DOI":"10.1007\/BFb0020947"},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"Thomas A. Henzinger, Pei-Hsin Ho, and Howard Wong-Toi. HyTech: The Next Generation. In Proc. of the 16th IEEE Real-Time Systems Symposium, pages 56\u201365, December 1995.","DOI":"10.1109\/REAL.1995.495196"},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"H.E. Jensen, K.G. Larsen, and A. Skou. Modelling and Analysis of a Collision Avoidance Protocol Using SPIN and Uppaal. In Proc. of 2nd International Workshop on the SPIN Verification System, pages 1\u201320, August 1996.","DOI":"10.7146\/brics.v3i24.20005"},{"key":"19_CR7","unstructured":"Kim G. Larsen, Paul Pettersson, and Wang Yi. Uppaal in a Nutshell. To appear in Internationa] Journal on Software Tools for Technology Transfer, 1998."},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"Thomas Stauner, Olaf Mller, and Max Fuchs. Using hytech to verify an automotive control system. In Proc. Hybrid and Real-Time Systems, Grenoble, March 26\u201328, 1997. Technische Universit\u00e4t M\u00fcnchen, Lecture Notes in Computer Science, Springer, 1997.","DOI":"10.1007\/BFb0014722"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0054178","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,10]],"date-time":"2025-01-10T03:06:42Z","timestamp":1736478402000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0054178"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540643562","9783540697534"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/bfb0054178","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1998]]}}}