{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T22:40:09Z","timestamp":1736116809052,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540634409"},{"type":"electronic","value":"9783540695493"}],"license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0002885","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T12:29:42Z","timestamp":1132748982000},"page":"1290-1297","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Analyzing schedulability of astral specifications using extended timed automata"],"prefix":"10.1007","author":[{"given":"K.","family":"Brink","sequence":"first","affiliation":[]},{"given":"J.","family":"van Katwijk","sequence":"additional","affiliation":[]},{"given":"R. F.","family":"Lutje Spelberg","sequence":"additional","affiliation":[]},{"given":"W. J.","family":"Toetenel","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,9,26]]},"reference":[{"key":"173_CR1","doi-asserted-by":"crossref","unstructured":"R. Alur and D. Dill. The theory of timed automata. In Proceedings Real-Time: Theory and Practice, volume 600 of LNCS, pages 45\u201373. Springer-Verlag, 1991.","DOI":"10.1007\/BFb0031987"},{"key":"173_CR2","unstructured":"K. Brink. Interfacing Control and Software Engineering: A Formal Approach. PhD thesis, Delft University of Technology, 1997."},{"key":"173_CR3","doi-asserted-by":"crossref","unstructured":"K. Brink, L. Bun, J. van Katwijk, and W.J. Toetenel. Hybrid Specification of Control Systems. In Proceedings of ICECCS'95, pages 149\u2013152, 1995.","DOI":"10.1109\/ICECCS.1995.479321"},{"key":"173_CR4","doi-asserted-by":"crossref","unstructured":"K. Brink, J. van Katwijk, and W.J. Toetenel. Ada95 as Implementation Vehicle for Formal Specifications. In Proceedings of RTCSA'96, pages 98\u2013105. IEEE Computer Society Press, 1996.","DOI":"10.1109\/RTCSA.1996.554966"},{"key":"173_CR5","unstructured":"K. Brink, J. van Katwijk, and W.J. Toetenel. Implementing Distributed Real-Time Specifications in Ada95. In Proceedings of the 2nd annual conference of the advanced school for computing and imaging, pages 84\u201389, 1996."},{"key":"173_CR6","unstructured":"L. Bun and J. van Katwijk. The ASTRAL Specification of the Railroad Controller. Technical Report 95-104, Faculty of Technical Mathematics and Informatics, Delft University of Technology, 1995."},{"key":"173_CR7","series-title":"Technical report, TRCS96-30","volume-title":"Specification of Realtime Systems Using ASTRAL","author":"A. Coen-Porisini","year":"1996","unstructured":"A. Coen-Porisini, C. Ghezzi, and R.A. Kemmerer. Specification of Realtime Systems Using ASTRAL. Technical report, TRCS96-30, Faculty of Computer Science, University of California, Santa Barbara, 1996."},{"key":"173_CR8","doi-asserted-by":"crossref","unstructured":"J.C. Corbett. Timing analysis of ada tasking programs. IEEE Transactions on Software Engineering, pages 461\u2013483, July 1996.","DOI":"10.1109\/32.538604"},{"key":"173_CR9","doi-asserted-by":"crossref","unstructured":"C. Ghezzi and R.A. Kemmerer. Executing formal specifications: the ASTRAL to TRIO translation approach. In Proceedings TAV4, pages 112\u2013119, 1991.","DOI":"10.1145\/120807.120817"},{"key":"173_CR10","doi-asserted-by":"crossref","unstructured":"T. A. Henzinger and P. H. Ho. A user guide to HyTech. In Proceedings of TACAS'95, volume 1019 of LNCS, pages 41\u201371. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-60630-0_3"},{"key":"173_CR11","doi-asserted-by":"crossref","unstructured":"K. G. Larsen, P. Petterson, and W. Yi. Model checking for real-time systems. In Proceedings of FOCS'95, volume 965 of LNCS, pages 62\u201388. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-60249-6_41"}],"container-title":["Lecture Notes in Computer Science","Euro-Par'97 Parallel Processing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0002885","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T22:03:02Z","timestamp":1736114582000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0002885"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540634409","9783540695493"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/bfb0002885","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]},"assertion":[{"value":"26 September 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}