{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T00:30:31Z","timestamp":1755217831387,"version":"3.43.0"},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Formal Methods in System Design"],"published-print":{"date-parts":[[2003,1]]},"DOI":"10.1023\/a:1021736013555","type":"journal-article","created":{"date-parts":[[2003,3,20]],"date-time":"2003-03-20T21:15:11Z","timestamp":1048194911000},"page":"5-38","source":"Crossref","is-referenced-by-count":5,"title":["Mexitl: Multimedia in Executable Interval Temporal Logic"],"prefix":"10.1007","volume":"22","author":[{"given":"Howard","family":"Bowman","sequence":"first","affiliation":[]},{"given":"Helen","family":"Cameron","sequence":"additional","affiliation":[]},{"given":"Peter","family":"King","sequence":"additional","affiliation":[]},{"given":"Simon","family":"Thompson","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"5110194_CR1","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"J.F. Allen","year":"1983","unstructured":"J.F. Allen, \u201cMaintaining knowledge about temporal intervals,\u201d Communications of the ACM, Vol. 26, No. 1, pp. 832\u2013843, 1983.","journal-title":"Communications of the ACM"},{"issue":"2","key":"5110194_CR2","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1109\/93.502292","volume":"3","author":"Y.Y. Al-Salqan","year":"1996","unstructured":"Y.Y. Al-Salqan and C.K. Chang, \u201cTemporal relations and synchronization agents,\u201d IEEE Multimedia, Vol. 3, No. 2, pp. 30\u201339, 1996.","journal-title":"IEEE Multimedia"},{"key":"5110194_CR3","doi-asserted-by":"crossref","unstructured":"A.F. Ates, M. Bilgic, S. Saito, and B. Sarikaya, \u201cUsing timed CSP for specification, verification and simulation of multimedia synchronization,\u201d Journal on Selected Areas in Communications, Vol. 14, No. 1, 1996.","DOI":"10.1109\/49.481699"},{"key":"5110194_CR4","volume-title":"Lecture Notes in Artificial Intelligence","author":"H. Barringer","year":"1989","unstructured":"H. Barringer, M. Fisher, D. Gabbay, G. Gough, and R. Owens, \u201cMETATEM: A framework for programming in temporal logic,\u201d in Lecture Notes in Artificial Intelligence, Vol. 430, Springer-Verlag, Berlin, 1989."},{"issue":"2","key":"5110194_CR5","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","volume":"19","author":"G. Berry","year":"1992","unstructured":"G. Berry and G. Gonthier, \u201cThe Esterel synchronous programming language: Design, semantics, implementation,\u201d Science of Computer Programming, Vol. 19, No. 2, pp. 87\u2013152, 1992.","journal-title":"Science of Computer Programming"},{"key":"5110194_CR6","volume-title":"Advances in Temporal Logic","author":"H. Bowman","year":"2000","unstructured":"H. Bowman, H. Cameron, P. King, and S. Thompson, \u201cSpecification and prototyping of structured multimedia documents using interval temporal logic,\u201d in Howard Barringer et al. (Eds.), Advances in Temporal Logic, Kluwer Academic Publishers, Dordrecht, 2000."},{"key":"5110194_CR7","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods: TABLEAUX '98","author":"H. Bowman","year":"1998","unstructured":"H. Bowman and S. Thompson, \u201cA tableau method for interval temporal logic with projection,\u201d in Harrie de Swart (Ed.), Automated Reasoning with Analytic Tableaux and Related Methods: TABLEAUX '98, Lecture Notes in Computer Science, Vol. 1397, Springer-Verlag, Berlin, 1998."},{"key":"5110194_CR8","doi-asserted-by":"crossref","unstructured":"H. Bowman and S.J. Thompson, \u201cA decision procedure and complete axiomatisation of finite interval temporal logic with projection,\u201d Journal of Logic and Computation, Vol. 13, No. 2, 2003.","DOI":"10.1093\/logcom\/13.2.195"},{"key":"5110194_CR9","volume-title":"Proc. Multimedia '93","author":"M.C. Buchanan","year":"1993","unstructured":"M.C. Buchanan and P.T. Zellweger, \u201cAutomatic temporal mechanisms,\u201d in Proc. Multimedia '93, ACM Press, New York, 1993."},{"key":"5110194_CR10","doi-asserted-by":"crossref","first-page":"575","DOI":"10.1007\/BFb0015268","volume-title":"Computer Science Today: Recent Trends and Developments","author":"D.C.A. Bulterman","year":"1995","unstructured":"D.C.A. Bulterman and L. Hardman, \u201cMultimedia authoring tools: State of the art and research challenges,\u201d in J. van Leeuwen (Ed.), Computer Science Today: Recent Trends and Developments, Lecture Notes in Computer Science, Vol. 1000, Springer-Verlag, Berlin, 1995, pp. 575\u2013591."},{"key":"5110194_CR11","unstructured":"H. Cameron, P.R. King, and S.J. Thompson, \u201cModelling reactive multimedia: Events and behaviours,\u201d Multimedia Tools and Applications, to appear."},{"key":"5110194_CR12","unstructured":"Z.H. Duan, \u201cAn extended interval temporal logic and a framing technique for temporal logic programming,\u201d Ph.D. Thesis, University of Newcastle Upon Tyne, May 1996."},{"issue":"4","key":"5110194_CR13","first-page":". 397","volume":"6","author":"R. Erfle","year":"1993","unstructured":"R. Erfle, \u201cSpecification of temporal constraints in multimedia documents using HyTime,\u201d Electronic Publishing, Vol. 6, No. 4, pp. 397\u2013411, 1993.","journal-title":"Electronic Publishing"},{"key":"5110194_CR14","doi-asserted-by":"crossref","first-page":"409","DOI":"10.1007\/3-540-51803-7_36","volume-title":"Proceedings of the Colloquim on Temporal Logic and Specifications","author":"D. Gabbay","year":"1989","unstructured":"D. Gabbay, \u201cThe declarative past and imperative future,\u201d in H. Barringer (Ed.), Proceedings of the Colloquim on Temporal Logic and Specifications, Lecture Notes In Computer Science, Vol. 398, Springer-Verlag, Berlin, 1989, pp. 409\u2013448."},{"key":"5110194_CR15","first-page":"375","volume-title":"Lecture Notes in Computer Science","author":"R. Hale","year":"1989","unstructured":"R. Hale, \u201cUsing temporal logic for prototyping: The design of a lift controller,\u201d in Lecture Notes in Computer Science, Vol. 379, Springer-Verlag, Berlin, 1989, pp. 375\u2013408."},{"key":"5110194_CR16","doi-asserted-by":"crossref","unstructured":"L. Hardman, J. Van Ossenbruggen, K.S. Mullender, L. Rutledge, and D. Bulterman, \u201cDo you have the time? Composition and linking in time-base hypermedia,\u201d in Proc. Hypertext '99, ACM Press, 1999.","DOI":"10.1145\/294469.294515"},{"key":"5110194_CR17","doi-asserted-by":"crossref","unstructured":"L. Hardman, G. van Rossum, and D.C.A. Bulterman, \u201cStructured multimedia authoring,\u201d ACM Multimedia 'S93, pp. 283\u2013289, 1993.","DOI":"10.1145\/166266.168402"},{"key":"5110194_CR18","doi-asserted-by":"crossref","first-page":"316","DOI":"10.1007\/s005300050096","volume":"6","author":"C.M. Huang","year":"1998","unstructured":"C.M. Huang, J.S. Chen, C.H. Lin, and C. Wang, \u201cMING-I: A distributed interactive multimedia document development mechanism,\u201d Multimedia Systems, Vol. 6, pp. 316\u2013333, 1998.","journal-title":"Multimedia Systems"},{"key":"5110194_CR19","unstructured":"ISO 10744, \u201cInformation Technology\u2014Hypermedia\/Time-Based Structuring Language (HyTime), 1992."},{"key":"5110194_CR20","volume-title":"A Survey on Authoring Techniques for Temporal Scenarios of Multimedia Documents","author":"M. Jourdan","year":"1998","unstructured":"M. Jourdan, N. Layada, and C. Roisin, A Survey on Authoring Techniques for Temporal Scenarios of Multimedia Documents, Handbook of Internet and Multimedia Systems and Applications, Part 1: Tools and Standards. CRC Press, Boca Raton, FL, 1998."},{"key":"5110194_CR21","unstructured":"C. Keramane and A. Duda, \u201cInterval expressions, a functional model for interactive dynamic multimedia presentations,\u201d in Proc. Conf. Multimedia '96, IEEE, 1996."},{"issue":"2\/3","key":"5110194_CR22","first-page":"95","volume":"8","author":"P.R. King","year":"1996","unstructured":"P.R. King, \u201cModelling multimedia documents,\u201d Electronic Publishing, Vol. 8, No. 2\/3, pp. 95\u2013110, 1996.","journal-title":"Electronic Publishing"},{"key":"5110194_CR23","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1007\/3-540-63620-X_57","volume-title":"Principles of Document Processing PODP96","author":"P.R. King","year":"1997","unstructured":"P.R. King, \u201cA logic based formalism for temporal constraints in multimedia documents,\u201d in Principles of Document Processing PODP96, Lecture Notes in Computer Science, Vol. 1293, Springer-Verlag, Berlin, 1997, pp. 87\u2013100."},{"key":"5110194_CR24","first-page":"40","volume-title":"Lecture Notes in Artificial Intelligence","author":"S. Kono","year":"1993","unstructured":"S. Kono, \u201cA combination of clausal and non-clausal temporal logic programs,\u201d in Lecture Notes in Artificial Intelligence, Vol. 897, Springer-Verlag, Berlin, 1993, pp. 40\u201357."},{"issue":"4","key":"5110194_CR25","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1007\/BF01995674","volume":"2","author":"R. Koymans","year":"1990","unstructured":"R. Koymans, \u201cSpecifying real-Time properties with metric temporal logic,\u201d Real-Time Systems, Vol. 2, No. 4, pp. 255\u2013299, 1990.","journal-title":"Real-Time Systems"},{"key":"5110194_CR26","doi-asserted-by":"crossref","first-page":"196","DOI":"10.1007\/s005300050088","volume":"6","author":"W. Liao","year":"1998","unstructured":"W. Liao and V.O.K. Li, \u201cSynchronization of distributed multimedia systems with user interactions,\u201d Multimedia Systems, Vol. 6, pp. 196\u2013205, 1998.","journal-title":"Multimedia Systems"},{"key":"5110194_CR27","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The Temporal Logic of Reactive and Concurrent Systems","author":"Z. Manna","year":"1992","unstructured":"Z. Manna and A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems, Springer-Verlag, Berlin, 1992."},{"issue":"1","key":"5110194_CR28","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1145\/237432.237438","volume":"6","author":"L.E. Moser","year":"1997","unstructured":"L.E. Moser, Y.S. Ramakrishna, G. Kutty, P.M. Melliar-Smith, and L.K. Dillon, \u201cA graphical environment for the design of concurrent real-time systems,\u201d ACM Transactions on Software Engineering and Methodology, Vol. 6, No. 1, pp. 31\u201379, 1997.","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"5110194_CR29","doi-asserted-by":"crossref","unstructured":"B. Moszkowski, Executing Temporal Logic, Cambridge University Press, 1986.","DOI":"10.1007\/3-540-15670-4_6"},{"key":"5110194_CR30","first-page":"307","volume-title":"Proc. Programming Concepts, Methods and Calculi, IFIP Trans. A-56","author":"B. Moszkowski","year":"1994","unstructured":"B. Moszkowski, \u201cSome very compositional temporal properties,\u201d in Proc. Programming Concepts, Methods and Calculi, IFIP Trans. A-56, North-Holland, Amsterdam, 1994, pp. 307\u2013326."},{"key":"5110194_CR31","unstructured":"B.C. Moszkowski, \u201cA complete axiomatisation of interval temporal logic with infinite time,\u201d in LICS 2000, 2000."},{"key":"5110194_CR32","doi-asserted-by":"crossref","unstructured":"B.C. Moszkowski, \u201cAn automata theoretic completeness proof for interval temporal logic,\u201d in ICALP 2000, 2000.","DOI":"10.1007\/3-540-45022-X_19"},{"key":"5110194_CR33","unstructured":"J. Peterson, C. Elliott, and G.S. Ling, Fran Users' Manual, 1997. Available at http:\/\/research.microsoft.com\/~conal\/Fran\/UsersMan.htm."},{"key":"5110194_CR34","volume-title":"Multimedia '93","author":"B. Prabhakaran","year":"1993","unstructured":"B. Prabhakaran and S.V. Raghavan, \u201cSynchronization models for multimedia presentation with user participation,\u201d in Multimedia' 93. ACM Press, New York, 1993."},{"issue":"1","key":"5110194_CR35","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1109\/49.481696","volume":"14","author":"P. S\u00e9nac","year":"1996","unstructured":"P. S\u00e9nac, M. Diaz, A. L\u00e9ger, and P. de Saqui-Sannes, \u201cModeling logical and temporal synchronization in hypermedia systems,\u201d IEEE Journal on Selected Areas in Communications, Vol. 14, No. 1, pp. 84\u2013103, 1996.","journal-title":"IEEE Journal on Selected Areas in Communications"},{"key":"5110194_CR36","volume-title":"Multimedia Modeling: Towards the Information Superhighway","author":"T.K. Shih","year":"1996","unstructured":"T.K. Shih, L.-J. Hwang, and J.-Y. Tsai, \u201cFormal model of temporal properties underlying multimedia presentations,\u201d in Courtiat et al. (Eds.), Multimedia Modeling: Towards the Information Superhighway. World Scientific Publishing, Singapore, 1996."},{"issue":"1","key":"5110194_CR37","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/267954.267955","volume":"16","author":"P.D. Stotts","year":"1993","unstructured":"P.D. Stotts, R. Furuta, and C.R. Cabarrus, \u201cHyperdocuments as automata: Verification of trace-based browsing properties by model checking,\u201d ACM Trans. Information Systems, Vol. 16, No. 1, pp. 1\u201330, 1993.","journal-title":"ACM Trans. Information Systems"},{"key":"5110194_CR38","first-page":"272","volume-title":"Proc. the ACM Conf. Hypertext break (ECHT '92)","author":"P.D. Stotts","year":"1992","unstructured":"P.D. Stotts, R. Furuta, and J.C. Ruiz, \u201cHyperdocuments as automata: Trace-based browsing property verification,\u201d in D. Lucarella, J. Nanard, M. Nanard, and P. Paolini (Eds.), Proc. the ACM Conf. Hypertext break (ECHT '92), ACM Press, New York, 1992, pp. 272\u2013281 (Nov. 30-Dec. 4, 1992, Milan, Italy)."},{"key":"5110194_CR39","volume-title":"Advances in Temporal Logic","author":"S. Thompson","year":"2000","unstructured":"S. Thompson, \u201cConstructive interval temporal logic in Alf,\u201d in Howard Barringer et al. (Eds.), Advances in Temporal Logic. Kluwer Academic Publishers, Dordrecht, 2000."},{"key":"5110194_CR40","doi-asserted-by":"crossref","unstructured":"T. Wahl and K. Rothermel, \u201cRepresenting time in multimedia systems,\u201d in Proc. Int. Conf. Multimedia Computing and Systems, 1994.","DOI":"10.1109\/MMCS.1994.292502"}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1021736013555.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1021736013555\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1021736013555.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,5]],"date-time":"2025-08-05T20:23:18Z","timestamp":1754425398000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1021736013555"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,1]]},"references-count":40,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2003,1]]}},"alternative-id":["5110194"],"URL":"https:\/\/doi.org\/10.1023\/a:1021736013555","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"type":"print","value":"0925-9856"},{"type":"electronic","value":"1572-8102"}],"subject":[],"published":{"date-parts":[[2003,1]]}}}