{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:19:15Z","timestamp":1742912355384,"version":"3.40.3"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319661964"},{"type":"electronic","value":"9783319661971"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-66197-1_16","type":"book-chapter","created":{"date-parts":[[2017,8,11]],"date-time":"2017-08-11T21:02:30Z","timestamp":1502485350000},"page":"253-268","source":"Crossref","is-referenced-by-count":5,"title":["Formalizing Timing Diagram Requirements in\u00a0Discrete Duration Calculus"],"prefix":"10.1007","author":[{"given":"Raj Mohan","family":"Matteplackel","sequence":"first","affiliation":[]},{"given":"Paritosh K.","family":"Pandya","sequence":"additional","affiliation":[]},{"given":"Amol","family":"Wakankar","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,8,13]]},"reference":[{"issue":"11","key":"16_CR1","doi-asserted-by":"publisher","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"JF Allen","year":"1983","unstructured":"Allen, J.F.: Maintaining knowledge about temporal intervals. Comm. ACM 26(11), 832\u2013843 (1983)","journal-title":"Comm. ACM"},{"issue":"3","key":"16_CR2","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/BF01782772","volume":"2","author":"B Alpern","year":"1987","unstructured":"Alpern, B., Schneider, F.B.: Recognizing safety and liveness. Distrib. Comput. 2(3), 117\u2013126 (1987)","journal-title":"Distrib. Comput."},{"key":"16_CR3","unstructured":"Amla, N., Emerson, E.A., Kurshan, R.P., Namjoshi, K.S.: Model checking synchronous timing diagrams. In: FMCAD 2000, pp. 283\u2013298 (2000)"},{"key":"16_CR4","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1142\/9789814271059_0008","volume-title":"Modern Applications of Automata Theory","author":"S. Ajesh Babu","year":"2012","unstructured":"Babu, A., Pandya, P.K.: Chop expressions and discrete duration calculus. In: Modern Applications of Automata Theory, pp. 229\u2013256 (2012)"},{"key":"16_CR5","unstructured":"Chapyzhenka, A., Probell, J.: Wavedrom: rendering beautiful waveforms from plain text. Synopsys User Group (2016). http:\/\/wavedrom.com\/images\/SNUG2016_WaveDrom.pdf"},{"key":"16_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/11560548_15","volume-title":"Correct Hardware Design and Verification Methods","author":"H Chockler","year":"2005","unstructured":"Chockler, H., Fisler, K.: Temporal modalities for concisely capturing timing diagrams. In: Borrione, D., Paul, W. (eds.) CHARME 2005. LNCS, vol. 3725, pp. 176\u2013190. Springer, Heidelberg (2005). doi: 10.1007\/11560548_15"},{"issue":"1","key":"16_CR7","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1023\/A:1011227529550","volume":"19","author":"W Damm","year":"2001","unstructured":"Damm, W., Harel, D.: LSCs: breathing life into message sequence charts. Form. Methods Syst. Des. 19(1), 45\u201380 (2001)","journal-title":"Form. Methods Syst. Des."},{"key":"16_CR8","unstructured":"Eisner, C., Fisman, D.: Temporal logic made practical. In: Handbook of Model Checking. Springer (2016, expected). http:\/\/www.cis.upenn.edu\/~fisman\/documents\/EF_HBMC14.pdf"},{"issue":"3","key":"16_CR9","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1023\/A:1008345113376","volume":"8","author":"K Fisler","year":"1999","unstructured":"Fisler, K.: Timing diagrams: formalization and algorithmic verification. J. Logic Lang. Inform. 8(3), 323\u2013361 (1999)","journal-title":"J. Logic Lang. Inform."},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"Fisler, K.: Two-dimensional regular expressions for compositional bus protocols. In: FMCAD 2007, pp. 154\u2013157 (2007)","DOI":"10.1109\/FAMCAD.2007.14"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"Franceschet, M., de Rijke, M., Schlingloff, B.: Hybrid logics on linear structures: expressivity and complexity. In: TIME-ICTL 2003, pp. 166\u2013173 (2003)","DOI":"10.1109\/TIME.2003.1214893"},{"issue":"2\u20133","key":"16_CR12","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1016\/j.tcs.2004.09.023","volume":"331","author":"Y Kesten","year":"2005","unstructured":"Kesten, Y., Pnueli, A.: A compositional approach to CTL* verification. Theor. Comp. Sci. 331(2\u20133), 397\u2013428 (2005)","journal-title":"Theor. Comp. Sci."},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"Matteplackel, R.M., Pandya, P.K., Wakankar, A.: Formalizing timing diagram requirements in discrete duration calulus. CoRR abs\/1705.04510 (2017)","DOI":"10.1007\/978-3-319-66197-1_16"},{"key":"16_CR14","unstructured":"Pandya, P.K., Ramakrishna, Y.S., Shyamasundar, R.K.: A compositional semantics of esterel in duration calculus. In: AMAST 1995 (1995)"},{"key":"16_CR15","unstructured":"Pandya, P.K.: Specifying and deciding quantified discrete-time duration calculus formulae using DCVALID. In: RTTOOLS 2001, Affiliated with CONCUR (2001)"},{"key":"16_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"559","DOI":"10.1007\/3-540-45319-9_38","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"PK Pandya","year":"2001","unstructured":"Pandya, P.K.: Model checking CTL*[DC]. In: Margaria, T., Yi, W. (eds.) TACAS 2001. LNCS, vol. 2031, pp. 559\u2013573. Springer, Heidelberg (2001). doi: 10.1007\/3-540-45319-9_38"},{"key":"16_CR17","unstructured":"Wakankar, A., Pandya, P.K., Matteplackel, R.M.: DCSynth: guided reactive synthesis with soft requirements and performance measurement. CoRR (2017)"},{"key":"16_CR18","unstructured":"WaveDrom: Wavedrom user manual (2016). http:\/\/wavedrom.com\/tutorial.html"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-66197-1_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,2]],"date-time":"2019-10-02T06:03:18Z","timestamp":1569996198000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66197-1_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319661964","9783319661971"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66197-1_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}