{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:28:03Z","timestamp":1761596883009},"reference-count":9,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1992,12,1]],"date-time":"1992-12-01T00:00:00Z","timestamp":723168000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form Method Syst Des"],"published-print":{"date-parts":[[1992,12]]},"DOI":"10.1007\/bf00709157","type":"journal-article","created":{"date-parts":[[2004,12,1]],"date-time":"2004-12-01T04:41:38Z","timestamp":1101876098000},"page":"385-415","source":"Crossref","is-referenced-by-count":74,"title":["Minimum and maximum delay problems in real-time systems"],"prefix":"10.1007","volume":"1","author":[{"given":"Costas","family":"Courcoubetis","sequence":"first","affiliation":[]},{"given":"Mihalis","family":"Yannakakis","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","first-page":"51","volume":"3","author":"S. Aggarwal","year":"1983","unstructured":"S.Aggarwal and R.Kurshan, Modeling elapsed time in protocol specification,Proc. Protocol Specification, Testing and Verification, 3: 51?62, 1983.","journal-title":"Proc. Protocol Specification, Testing and Verification"},{"key":"CR2","doi-asserted-by":"crossref","unstructured":"R. Alur, C. Courcoubetis, and D. Dill. Model-checking for real-time systems.Proc. 5th IEEE Symposium on Logic in Computer Science, pp. 414?425, 1990.","DOI":"10.1109\/LICS.1990.113766"},{"key":"CR3","doi-asserted-by":"crossref","first-page":"322","DOI":"10.1007\/BFb0032042","volume":"443","author":"R. Alur","year":"1990","unstructured":"R.Alur and D.Dill. Automata for modeling real-time systems.Proc. 17th International Collaboration on Automata, Languages and Programming. Lecture Notes in Computer Science, 443: 322?335, 1990.","journal-title":"Proc. 17th International Collaboration on Automata, Languages and Programming. Lecture Notes in Computer Science"},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"R. Alur and T. Henzinger. A really temporal logic.Proc. 30th Annual IEEE Symposium on Foundations of Computer Science, pp. 164?169, 1989.","DOI":"10.1109\/SFCS.1989.63473"},{"key":"CR5","doi-asserted-by":"crossref","unstructured":"D. Dill. Timing assumptions and verification of finite-state concurrent systems.Automatic Verification Methods for Finite-State Systems. Lecture Notes in Computer Science, 407:,1989.","DOI":"10.1007\/3-540-52148-8_17"},{"key":"CR6","doi-asserted-by":"crossref","unstructured":"H. Lewis, A logic of concrete time intervals.Proc. 5th IEEE Symp. on Logic in Computer Science, pp. 380?389, 1990.","DOI":"10.1109\/LICS.1990.113763"},{"key":"CR7","unstructured":"R. Alur, C. Courcoubetis, and D. Dill. Probabilistic model checking of real-time systems.Proc. 18th International Collaboration on Automata, Languages and Programming. Lecture Notes in Computer Science, 510: 1991."},{"key":"CR8","volume-title":"Introduction to Algorithms","author":"T.H. Corman","year":"1990","unstructured":"T.H.Corman, C.E.Leiserson, and R.L.Rivest.Introduction to Algorithms, McGraw Hill, New York, 1990."},{"key":"CR9","unstructured":"M. Fredman and R.E. Tarjan. Fibonacci heaps and their uses in improved network."}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00709157.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00709157\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00709157","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,4]],"date-time":"2020-04-04T12:20:22Z","timestamp":1586002822000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00709157"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,12]]},"references-count":9,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1992,12]]}},"alternative-id":["BF00709157"],"URL":"https:\/\/doi.org\/10.1007\/bf00709157","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"value":"0925-9856","type":"print"},{"value":"1572-8102","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992,12]]}}}