{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:18:19Z","timestamp":1725664699806},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540609735"},{"type":"electronic","value":"9783540497493"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-60973-3_101","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:08:55Z","timestamp":1330290535000},"page":"445-464","source":"Crossref","is-referenced-by-count":5,"title":["Experiences in embedded scheduling"],"prefix":"10.1007","author":[{"given":"David M.","family":"Jackson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"25_CR1","doi-asserted-by":"crossref","unstructured":"G. Berry and G. Gonthier. The ESTEREL synchronous programming language: design, semantics, implementation. Science of Computer Programming, 1992.","DOI":"10.1016\/0167-6423(92)90005-V"},{"key":"25_CR2","doi-asserted-by":"crossref","unstructured":"S. Campos, E. Clarke, W. Marrero, and M. Minea. Timing analysis of industrial real-time systems. In Workshop on Industrial-Strength Formal Specification Techniques (WIFT'95), pages 97\u2013107. IEEE, 1995.","DOI":"10.1109\/WIFT.1995.515482"},{"key":"25_CR3","doi-asserted-by":"crossref","unstructured":"D. Harel. STATECHARTS: A visual formalism for complex systems. Science of Computer Programming, 1987.","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"25_CR4","doi-asserted-by":"crossref","unstructured":"C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"25_CR5","volume-title":"Contractors report to U.S. ONR SBIR N00014-93-C-0213","author":"David M. M. Jackson","year":"1995","unstructured":"David M. Jackson. Verifying Timing Properties of Static Schedulers. Contractors report to U.S. ONR SBIR N00014-93-C-0213, Formal Systems Design and Development, Inc., P.O. Box 3004, Auburn, AL 36831-3004, 1995."},{"key":"25_CR6","unstructured":"X. Nicollin, J.L. Richier, J. Sifakis, and J. Voiron. ATP: an algebra for timed processes. In Proceedings IFIP Working Group Conference on Programming Concepts and Methods, pages 402\u2013429. Springer-Verlag, 1990."},{"key":"25_CR7","doi-asserted-by":"crossref","unstructured":"Sam Owre, John Rushby, Natarajan Shankar, and Friedrich von Henke. Formal verification for fault-tolerant architectures: Prolegomena to the design of PVS. In Transactions on Software Engineering Vol.21, pages 107\u2013125. IEEE, 1995.","DOI":"10.1109\/32.345827"},{"key":"25_CR8","volume-title":"Proceedings of REX Workshop","author":"Oxford TCSP Group","year":"1991","unstructured":"Oxford TCSP Group. Timed CSP: Theory and practice. In Proceedings of REX Workshop, Nijmegen. Springer-Verlag, 1991."},{"key":"25_CR9","unstructured":"Requirements and Technical Concepts for Aviation, Washington, DC. DO-178B: Software Considerations in Airborne Systems and Equipment Certification, 1992."},{"key":"25_CR10","volume-title":"Contractors report to U.S. ONR SBIR N00014-93-C-0213","author":"A. W. Roscoe","year":"1995","unstructured":"A.W. Roscoe. Modelling discrete time in untimed CSP. Contractors report to U.S. ONR SBIR N00014-93-C-0213, Formal Systems Design and Development, Inc., P.O. Box 3004, Auburn, AL 36831-3004, 1995."},{"key":"25_CR11","unstructured":"A.W. Roscoe et al. Hierarchical Model-checking for CSP. In Proceedings of TACAS '95. Springer-Verlag, 1995."},{"key":"25_CR12","unstructured":"John Rushby. Formal Methods and their Role in the Certification of Critical Systems. Technical report SRI-CSL-95-01, SRI International, 1995."},{"key":"25_CR13","unstructured":"UK Ministry of Defence. Interim Defence Standard 00-55: The Procurement of Safety Critical Software in Defence Equipment, April 1991."}],"container-title":["Lecture Notes in Computer Science","FME'96: Industrial Benefit and Advances in Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60973-3_101.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T10:13:43Z","timestamp":1640945623000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60973-3_101"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540609735","9783540497493"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-60973-3_101","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}