{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:34:27Z","timestamp":1725471267326},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540450269"},{"type":"electronic","value":"9783540450313"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11867340_16","type":"book-chapter","created":{"date-parts":[[2006,9,25]],"date-time":"2006-09-25T05:06:53Z","timestamp":1159160813000},"page":"215-229","source":"Crossref","is-referenced-by-count":11,"title":["Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling"],"prefix":"10.1007","author":[{"given":"Carlo A.","family":"Furia","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matteo","family":"Rossi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"16_CR1","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. JACM\u00a043(1), 116\u2013146 (1996)","journal-title":"JACM"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Alur, R., Henzinger, T.A., Lafferriere, G., Pappas, G.J.: Discrete abstractions of hybrid systems. In: Antsaklis [3], pp. 971\u2013984","DOI":"10.1109\/5.871304"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"Antsaklis, P.J. (ed.): Special issue on hybrid systems: theory and applications. Proceedings of the IEEE 88 (2000)","DOI":"10.1109\/JPROC.2000.871299"},{"key":"16_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"470","DOI":"10.1007\/BFb0055642","volume-title":"CONCUR \u201998 Concurrency Theory","author":"E. Asarin","year":"1998","unstructured":"Asarin, E., Maler, O., Pnueli, A.: On discretization of delays in timed automata and digital circuits. In: Sangiorgi, D., de Simone, R. (eds.) CONCUR 1998. LNCS, vol.\u00a01466, pp. 470\u2013484. Springer, Heidelberg (1998)"},{"issue":"1","key":"16_CR5","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1145\/295558.295566","volume":"8","author":"E. Ciapessoni","year":"1999","unstructured":"Ciapessoni, E., Coen-Porisini, A., Crivelli, E., Mandrioli, D., Mirandola, P., Morzenti, A.: From formal models to formally-based methods: an industrial experience. ACM TOSEM\u00a08(1), 79\u2013113 (1999)","journal-title":"ACM TOSEM"},{"issue":"3","key":"16_CR6","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/s00165-005-0067-8","volume":"17","author":"M. Wulf De","year":"2005","unstructured":"De Wulf, M., Doyen, L., Raskin, J.-F.: Almost ASAP semantics. Formal Aspects of Computing\u00a017(3), 319\u2013341 (2005)","journal-title":"Formal Aspects of Computing"},{"key":"16_CR7","first-page":"170","volume-title":"Proceedings of IFM 1999","author":"C.J. Fidge","year":"1999","unstructured":"Fidge, C.J.: Modelling discrete behaviour in a continuous-time formalism. In: Proceedings of IFM 1999, pp. 170\u2013188. Springer, Heidelberg (1999)"},{"key":"16_CR8","series-title":"ENTCS","first-page":"185","volume-title":"A compositional framework for formally verifying modular systems","author":"C.A. Furia","year":"2004","unstructured":"Furia, C.A., Rossi, M.: A compositional framework for formally verifying modular systems. ENTCS, vol.\u00a0116, pp. 185\u2013198. Elsevier, Amsterdam (2004)"},{"key":"16_CR9","unstructured":"Furia, C.A., Rossi, M.: When discrete met continuous. Technical Report 2005.44, DEI, Politecnico di Milano (2005), Available from: \n                    \n                      http:\/\/www.elet.polimi.it\/upload\/furia\/"},{"issue":"2","key":"16_CR10","first-page":"107","volume":"12","author":"C. Ghezzi","year":"1990","unstructured":"Ghezzi, C., Mandrioli, D., Morzenti, A.: TRIO: A logic language for executable specifications of real-time systems. JSS\u00a012(2), 107\u2013123 (1990)","journal-title":"JSS"},{"key":"16_CR11","volume-title":"Concrete Mathematics: A foundation for computer science","author":"R.L. Graham","year":"1994","unstructured":"Graham, R.L., Knuth, D.E., Patashnik, O.: Concrete Mathematics: A foundation for computer science. Addison-Wesley, Reading (1994)"},{"key":"16_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"545","DOI":"10.1007\/3-540-55719-9_103","volume-title":"Automata, Languages and Programming","author":"T.A. Henzinger","year":"1992","unstructured":"Henzinger, T.A., Manna, Z., Pnueli, A.: What good are digital clocks? In: Kuich, W. (ed.) ICALP 1992. LNCS, vol.\u00a0623, pp. 545\u2013558. Springer, Heidelberg (1992)"},{"key":"16_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"188","DOI":"10.1007\/3-540-61648-9_41","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"D.V. Hung","year":"1996","unstructured":"Hung, D.V., Giang, P.H.: Sampling semantics of duration calculus. In: Jonsson, B., Parrow, J. (eds.) FTRTFT 1996. LNCS, vol.\u00a01135, pp. 188\u2013207. Springer, Heidelberg (1996)"},{"issue":"4","key":"16_CR14","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"},{"issue":"4","key":"16_CR15","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1145\/133233.129397","volume":"14","author":"A. Morzenti","year":"1992","unstructured":"Morzenti, A., Mandrioli, D., Ghezzi, C.: A model parametric real-time logic. ACM TOPLAS\u00a014(4), 521\u2013573 (1992)","journal-title":"ACM TOPLAS"},{"key":"16_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"542","DOI":"10.1007\/978-3-540-45236-2_30","volume-title":"FME 2003: Formal Methods","author":"A. Morzenti","year":"2003","unstructured":"Morzenti, A., Pradella, M., San Pietro, P., Spoletini, P.: Model-checking TRIO specifications in SPIN. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol.\u00a02805, pp. 542\u2013561. Springer, Heidelberg (2003)"},{"key":"16_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/3-540-46002-0_4","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"J. Ouaknine","year":"2002","unstructured":"Ouaknine, J.: Digisation and full abstraction for dense-time model checking. In: Katoen, J.-P., Stevens, P. (eds.) ETAPS 2002 and TACAS 2002. LNCS, vol.\u00a02280, pp. 37\u201351. Springer, Heidelberg (2002)"},{"key":"16_CR18","first-page":"198","volume-title":"Proceedings of LICS 2003","author":"J. Ouaknine","year":"2003","unstructured":"Ouaknine, J., Worrell, J.: Revisiting digitization, robustness, and decidability for timed automata. In: Proceedings of LICS 2003, pp. 198\u2013207. IEEE Computer Society, Los Alamitos (2003)"}],"container-title":["Lecture Notes in Computer Science","Formal Modeling and Analysis of Timed Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11867340_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T13:50:22Z","timestamp":1558273822000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11867340_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540450269","9783540450313"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/11867340_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}