{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T05:02:01Z","timestamp":1743051721123,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642243097"},{"type":"electronic","value":"9783642243103"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-24310-3_16","type":"book-chapter","created":{"date-parts":[[2011,9,24]],"date-time":"2011-09-24T00:14:55Z","timestamp":1316823295000},"page":"225-239","source":"Crossref","is-referenced-by-count":4,"title":["On Construction of Safety Signal Automata for $MITL[\\:\\mathcal{U},\\:\\mathcal{S}]$ Using Temporal Projections"],"prefix":"10.1007","author":[{"given":"Dileep Raghunath","family":"Kini","sequence":"first","affiliation":[]},{"given":"Shankara Narayanan","family":"Krishna","sequence":"additional","affiliation":[]},{"given":"Paritosh K.","family":"Pandya","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"Alur, R., Henzinger, T.A.: Logics and Models of Real Time: A Survey. In: Proceedings of REX Workshop, pp. 74-106 (1991)","DOI":"10.1007\/BFb0031988"},{"issue":"1","key":"16_CR2","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1145\/227595.227602","volume":"43","author":"R. Alur","year":"1996","unstructured":"Alur, R., Feder, T., Henzinger, T.A.: The Benefits of Relaxing Punctuality. Journal of the ACM\u00a043(1), 116\u2013146 (1996)","journal-title":"Journal of the ACM"},{"key":"16_CR3","unstructured":"D\u2019Souza, D., Raj Mohan, M., Prabhakar, P.: Eliminating past operators in Metric Temporal Logic. In: Perspectives in Concurrency, pp. 86\u2013106. Universities Press (2008)"},{"key":"16_CR4","unstructured":"Henzinger, T.A.: The Temporal Specification and Verification of Real-time Systems. Ph.D Thesis, Stanford Unuiversity (1991)"},{"issue":"4","key":"16_CR5","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/BF01995674","volume":"2","author":"R. Koymans","year":"1990","unstructured":"Koymans, R.: Specifying Real-Time Properties with Metric Temporal Logic. Real Time Systems\u00a02(4), 255\u2013299 (1990)","journal-title":"Real Time Systems"},{"key":"16_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/11603009_2","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"O. Maler","year":"2005","unstructured":"Maler, O., Nickovic, D., Pnueli, A.: Real Time Temporal Logic: Past, Present, Future. In: Pettersson, P., Yi, W. (eds.) FORMATS 2005. LNCS, vol.\u00a03829, pp. 2\u201316. Springer, Heidelberg (2005)"},{"key":"16_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/978-3-540-73368-3_12","volume-title":"Computer Aided Verification","author":"O. Maler","year":"2007","unstructured":"Maler, O., Nickovic, D., Pnueli, A.: On Synthesizing Controllers from Bounded-Response Properties. In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol.\u00a04590, pp. 95\u2013107. Springer, Heidelberg (2007)"},{"key":"16_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-642-15297-9_13","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"D. Nickovic","year":"2010","unstructured":"Nickovic, D., Piterman, N.: From MTL to Deterministic Timed Automata. In: Chatterjee, K., Henzinger, T.A. (eds.) FORMATS 2010. LNCS, vol.\u00a06246, pp. 152\u2013167. Springer, Heidelberg (2010)"},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"Ouaknine, J., Worrell, J.: On the Decidability of Metric Temporal Logic. In: Proceedings of LICS 2005, pp. 188\u2013197 (2005)","DOI":"10.1109\/LICS.2005.33"},{"key":"16_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/11690634_15","volume-title":"Foundations of Software Science and Computation Structures","author":"J. Ouaknine","year":"2006","unstructured":"Ouaknine, J., Worrell, J.: On Metric Temporal Logic and Faulty Turing Machines. In: Aceto, L., Ing\u00f3lfsd\u00f3ttir, A. (eds.) FOSSACS 2006. LNCS, vol.\u00a03921, pp. 217\u2013230. Springer, Heidelberg (2006)"},{"key":"16_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"322","DOI":"10.1007\/11867340_23","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"P. Prabhakar","year":"2006","unstructured":"Prabhakar, P., D\u2019Souza, D.: On the Expressiveness of MTL with Past Operators. In: Asarin, E., Bouyer, P. (eds.) FORMATS 2006. LNCS, vol.\u00a04202, pp. 322\u2013336. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","Formal Modeling and Analysis of Timed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24310-3_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,16]],"date-time":"2019-06-16T05:42:38Z","timestamp":1560663758000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24310-3_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642243097","9783642243103"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24310-3_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}