{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:46:13Z","timestamp":1725551173248},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540240761"},{"type":"electronic","value":"9783540305361"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30536-1_16","type":"book-chapter","created":{"date-parts":[[2010,3,31]],"date-time":"2010-03-31T23:31:39Z","timestamp":1270078299000},"page":"138-143","source":"Crossref","is-referenced-by-count":0,"title":["t-UNITY \u2013 A Formal Framework for Modeling and Reasoning About Timing Constraints in Real-Time Systems"],"prefix":"10.1007","author":[{"given":"Sumit Kumar","family":"Basu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","volume-title":"Parallel Program Design : A Foundation","author":"K. Mani Chandy","year":"1988","unstructured":"Mani Chandy, K., Misra, J.: Parallel Program Design: A Foundation. Addison-Wesley, Reading (1988)"},{"key":"16_CR2","volume-title":"Systematic Software Development Using VDM","author":"C.B. Jones","year":"1986","unstructured":"Jones, C.B.: Systematic Software Development Using VDM. Prentice-Hall, Englewood Cliffs (1986)"},{"key":"16_CR3","volume-title":"Mathematical Logic and Programming Languages","author":"J.R. Abrial","year":"1985","unstructured":"Abrial, J.R.: Programming As a Mathematical Exercise. In: Hoare, C.A.R., Shepherdson, J.C. (eds.) Mathematical Logic and Programming Languages. Prentice-Hall, Englewood Cliffs (1985)"},{"key":"16_CR4","volume-title":"Structural Development for Real-Time Systems","author":"P. Ward","year":"1985","unstructured":"Ward, P., Mellor, S.: Structural Development for Real-Time Systems. Yurdon Press, Englewood Cliffs (1985)"},{"key":"16_CR5","unstructured":"Misra, J.: A Logic For Concurrent Programming (April 12, 1994)"},{"key":"16_CR6","volume-title":"Introduction to VLSI systems","author":"C. Mead","year":"1979","unstructured":"Mead, C., Conway, L.: Introduction to VLSI systems. Addison Wesley, Reading (1979)"},{"issue":"3","key":"16_CR7","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1145\/383876.383879","volume":"10","author":"G.P. Picco","year":"2001","unstructured":"Picco, G.P., Roman, G., McCann, P.J.: Reasoning About Code Mobility With Mobile UNITY. ACM Trans. Software Engng. and Methodology\u00a010(3), 338\u2013395 (2001)","journal-title":"ACM Trans. Software Engng. and Methodology"},{"issue":"1","key":"16_CR8","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1109\/MPRV.2004.1269132","volume":"3","author":"E. Klavins","year":"2004","unstructured":"Klavins, E., Murray, R.M.: Distributed Algorithms for Cooperative Control. IEEE Pervasive Computing\u00a03(1), 56\u201365 (2004)","journal-title":"IEEE Pervasive Computing"}],"container-title":["Lecture Notes in Computer Science","Distributed Computing - IWDC 2004"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30536-1_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T03:26:13Z","timestamp":1620012373000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30536-1_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540240761","9783540305361"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30536-1_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}