{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T11:04:59Z","timestamp":1742382299503,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540650034"},{"type":"electronic","value":"9783540497929"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0055352","type":"book-chapter","created":{"date-parts":[[2006,7,27]],"date-time":"2006-07-27T07:28:45Z","timestamp":1153985325000},"page":"251-261","source":"Crossref","is-referenced-by-count":37,"title":["A practical and complete algorithm for testing real-time systems"],"prefix":"10.1007","author":[{"given":"Rachel","family":"Cardell-Oliver","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tim","family":"Glover","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,5,27]]},"reference":[{"key":"22_CR1","doi-asserted-by":"crossref","unstructured":"Cardell-Oliver, R.: An Equivalence Theorem for the Operational and Temporal Semantics of Real-Time, Concurrent Programs, To appear in Journal of Logic and Computation Vol 8, 23 pages (1998)","DOI":"10.1093\/logcom\/8.4.545"},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"Cardell-Oliver, R. and Glover, T.: A Practical and Complete Algorithm for Testing Real-Time Systems, Technical Report CSM-306, Department of Computer Science, University of Essex, February 1998. source http:\/\/cswww.essex.ac.uk\/FSS\/projects\/test.html","DOI":"10.1007\/BFb0055352"},{"issue":"No.3","key":"22_CR3","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1109\/TSE.1978.231496","volume":"SE-4","author":"T.S. Chow","year":"1978","unstructured":"Chow, T.S.: Testing Software Design Modeled by Finite-State Machines, In IEEE Transactions on Software Engineering Vol SE-4, No.3, 178\u2013187 (1978)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"22_CR4","unstructured":"Hennessy, M.C.: Algebraic Theory of Processes, MIT Press (1988)."},{"key":"22_CR5","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1006\/inco.1994.1060","volume":"112","author":"T. Henzinger","year":"1994","unstructured":"Henzinger, T., Manna, Z. and Pnueli, A.: Temporal Proof Methodologies for Timed Transition Systems. Information and Computation, 112, 273\u2013337 (1994).","journal-title":"Information and Computation"},{"key":"22_CR6","unstructured":"Holzmann, G.J.: Design and Validation of Computer Protocols, Prentice Hall (1991)."},{"key":"22_CR7","unstructured":"Joseph, M. (ed.): Real-Time Systems: Specification, Verification and Analysis, Prentice-Hall (1996)."},{"issue":"4","key":"22_CR8","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1145\/210223.210226","volume":"13","author":"Mandioli","year":"1995","unstructured":"Mandioli, Morasca and Morzenti: Generating Test Cases for Real-Time Systems from Logic Specifications, ACM Trans on Computer Systems 13(4), 365\u2013398 (1995).","journal-title":"ACM Trans on Computer Systems"},{"key":"22_CR9","first-page":"53","volume":"19","author":"J. Peleska","year":"1997","unstructured":"Peleska, J. and Siegel, M.: Test Automation of Safety-Critical Reactive Systems, South African Computer Journal 19 53\u201377 (1997).","journal-title":"South African Computer Journal"},{"key":"22_CR10","doi-asserted-by":"crossref","unstructured":"Springtveld, J., Vaandrager, F., and D\u2019Argenio, F.: Testing Timed Automata, CSI-R9712, Computing Science Institute, University of Nijmegen, August 1997. source http:\/\/www.cs.kun.nl\/~fvaan\/publications","DOI":"10.1007\/BFb0030587"},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"Tretmans, J.: Test Generation with Inputs, Outputs and Quiescence In T Margaria and B Steffan (eds.) Tools and Algorithms for the Construction and Analysis of Systems, LNCS 1055, Springer Verlag (1996)","DOI":"10.1007\/3-540-61042-1_42"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques in Real-Time and Fault-Tolerant Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0055352","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,10]],"date-time":"2025-01-10T03:08:17Z","timestamp":1736478497000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0055352"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540650034","9783540497929"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/bfb0055352","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}