{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:10:37Z","timestamp":1725455437070},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540607571"},{"type":"electronic","value":"9783540493624"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/bfb0015510","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T07:07:57Z","timestamp":1131865677000},"page":"389-405","source":"Crossref","is-referenced-by-count":2,"title":["Ada and timed automata"],"prefix":"10.1007","author":[{"given":"Lars","family":"Bj\u00f6rnfot","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"33_CR1","volume-title":"Technical Report 5\/91","author":"M. Hennessy","year":"1991","unstructured":"M. Hennessy and T. Regan, \u201dA process algebra for timed systems\u201d, Technical Report 5\/91, Dept. of Computer Science, University of Sussex, UK, 1991."},{"key":"33_CR2","unstructured":"X. Nicollin, J. L. Richier, J. Sifakis, and J. Voiron, \u201dATP: an algebra for timed processes\u201d, In Proceedings IFIP Working Group Conference on Programming Concepts and Methods, pages 402\u2013429, 1990."},{"key":"33_CR3","unstructured":"Wang Yi, \u201dCCS + time = an interleaving model for real time systems\u201d, In Proceedings of ICALP'91, LNCS 510, Springer Verlag, 1991."},{"key":"33_CR4","doi-asserted-by":"crossref","unstructured":"R. Alur and D. Dill, \u201dAutomata for Modeling Real-Time Systems\u201d, Proceedings of the 17th International Colloquium on Automata, Languages and Programming, volume 443, Springer Verlag, 1990.","DOI":"10.1007\/BFb0032042"},{"issue":"3","key":"33_CR5","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1109\/32.75415","volume":"17","author":"B. Berthomieu","year":"1991","unstructured":"B. Berthomieu and Michael Diaz, \u201dModeling and verification of time dependent systems using time petri nets\u201d, IEEE Transactions on Software Engineering, 17(3):259\u2013273, March 1991.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"33_CR6","doi-asserted-by":"crossref","unstructured":"W. Yi, P. Pettersson, M. Daniels, \u201dAutomatic Verification of Real-Time Communication Systems by Constraint-Solving\u201d, Proceedings of the 7th International Conference on Formal Description Techniques, Berne, Switzerland, October, 1994.","DOI":"10.1007\/978-0-387-34878-0_18"},{"key":"33_CR7","unstructured":"K.G. Larsen, P. Pettersson, and W. Yi, \u201dDiagnostic Model-Checking for Real-Time Systems\u201d, Accepted for DIMACS'95."},{"key":"33_CR8","unstructured":"K.G. Larsen, P. Pettersson, and W. Yi, \u201dCompositional and Symbolic Model-Checking of Real-Time Systems\u201d, Accepted for IEEE RTSS'95."},{"key":"33_CR9","doi-asserted-by":"crossref","unstructured":"L. Bj\u00f6rnfot, K. Lundqvist, G. Wall, and L. Asplund, \u201dDistribution of Tasks Within a Centrally Scheduled Local Area Network\u201d, Proceedings from the First Symposium\u2019 Ada in Europe', Copenhagen Denmark, September 1994.","DOI":"10.1007\/3-540-58822-1_116"},{"key":"33_CR10","unstructured":"J.C. Corbett, \u201dModeling and Analysis of Real-Time Ada Tasking Programs\u201d, In proceedings RTSS'94"},{"key":"33_CR11","unstructured":"A. Hutcheon, \u201dSafe Nucleus Formal Specification\u201d, Project Reference CI\/ GNSR\/27: The Design and Development of Safety Kernels, Aug 1994."},{"key":"33_CR12","unstructured":"J.E. Hopcroft and J.D. Ullman, \u201dIntroduction to Automata Theory, Languages and Computation\u201d, ISBN 0-201-02988-X, 1979, Addison-Wesley"},{"key":"33_CR13","doi-asserted-by":"crossref","unstructured":"G. Wall, L. Asplund, L. Bj\u00f6rnfot and K. Lundqvist, \u201dPerformance Expectations on Ada Programs\u201d,LNCS 688, pp. 227\u2013239, 1993, Springer-Verlag.","DOI":"10.1007\/3-540-56802-6_18"},{"key":"33_CR14","doi-asserted-by":"crossref","unstructured":"D. Bosscher, I. Polak, and F. Vaandrager, \u201dVerification of an Audio-Control Protocol\u201d, In Proceedings of FTRTFT'94, LNCS 0863, pp 170\u2013192, Springer Verlag, 1994.","DOI":"10.1007\/3-540-58468-4_165"},{"key":"33_CR15","doi-asserted-by":"crossref","unstructured":"P-H. Ho and H. Wong-Toi, \u201dAutomated Analysis of an Audio Control Protocol\u201d, In Proceedings of CAV'95, volume 939, Springer Verlag, 1995.","DOI":"10.1007\/3-540-60045-0_64"}],"container-title":["Lecture Notes in Computer Science","Ada in Europe"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0015510","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T20:52:51Z","timestamp":1586551971000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0015510"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540607571","9783540493624"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/bfb0015510","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}