{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:37:35Z","timestamp":1725557855973},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540201755"},{"type":"electronic","value":"9783540399797"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"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":[[2003]]},"DOI":"10.1007\/978-3-540-39979-7_23","type":"book-chapter","created":{"date-parts":[[2010,6,22]],"date-time":"2010-06-22T18:52:22Z","timestamp":1277232742000},"page":"351-366","source":"Crossref","is-referenced-by-count":3,"title":["Formal Design of Interactive Multimedia Documents"],"prefix":"10.1007","author":[{"given":"Jean-Pierre","family":"Courtiat","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"23_CR1","doi-asserted-by":"crossref","unstructured":"Courtiat, J.-P., Oliveira, R.C.: Proving temporal consistency in a new multimedia synchronization model. In: Proc of ACM Multimedia 1996, Boston, USA, pp. 141\u2013152 (November 1996)","DOI":"10.1145\/244130.244178"},{"key":"23_CR2","doi-asserted-by":"crossref","unstructured":"Santos, C.A.S., Soares, L.F.G., Souza, G.L., Courtiat, J.-P.: Design methodology and formal validation of hypermedia documents. In: Proc. of ACM Multimedia 1998, Bristol, UK, pp. 39\u201348 (September 1998)","DOI":"10.1145\/290747.290753"},{"key":"23_CR3","volume-title":"Proc. of FORTE\/PSTV 1998","author":"C.A.S. Santos","year":"1998","unstructured":"Santos, C.A.S., Courtiat, J.-P., Saqui-Sannes, P.: A design methodology for the formal specification and verification of hypermedia documents. In: Proc. of FORTE\/PSTV 1998, Paris, France. Chapman & Hall, Boca Raton (1998)"},{"key":"23_CR4","unstructured":"http:\/\/www.w3.org\/AudioVideo\/"},{"key":"23_CR5","doi-asserted-by":"crossref","unstructured":"Courtiat, J.P., Santos, C.A.S., Lohr, C., Outtaj, B.: Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique. Computer Communications (2000), http:\/\/www.laas.fr\/RT-LOTOS","DOI":"10.1016\/S0140-3664(99)00240-6"},{"key":"23_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-56922-7_18","volume-title":"Computer Aided Verification","author":"M. Yannakakis","year":"1993","unstructured":"Yannakakis, M., Lee, D.: An efficient algorithm for minimizing real-time transition systems. In: Courcoubetis, C. (ed.) CAV 1993. LNCS, vol.\u00a0697. Springer, Heidelberg (1993)"},{"key":"23_CR7","unstructured":"http:\/\/www.inrialpes.fr\/vasy\/cadp.html"},{"key":"23_CR8","doi-asserted-by":"crossref","unstructured":"Santos, C.A.S., Sampaio, P.N.M., Courtiat, J.-P.: Revisiting the concept of hypermedia document consistency. In: Proc of ACM Multimedia 1999, Orlando, USA (November 1999)","DOI":"10.1145\/319878.319927"},{"key":"23_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/3-540-45739-9_10","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"C. Lohr","year":"2002","unstructured":"Lohr, C., Courtiat, J.P.: From the specification to the scheduling of time-dependent systems. In: Damm, W., Olderog, E.-R. (eds.) FTRTFT 2002. LNCS, vol.\u00a02469, pp. 129\u2013145. Springer, Heidelberg (2002)"},{"key":"23_CR10","series-title":"Lecture Notes in Computer Science","volume-title":"Real-Time: Theory in Practice","author":"R. Alur","year":"1991","unstructured":"Alur, R., Dill, D.L.: The theory of timed automata. In: Huizing, C., de Bakker, J.W., Rozenberg, G., de Roever, W.-P. (eds.) REX 1991. LNCS, vol.\u00a0600. Springer, Heidelberg (1991)"},{"key":"23_CR11","unstructured":"Lohr, C.: Contribution \u00e0 la conception de syst\u00e8mes temps-r\u00e9el s\u2019appuyant sur la technique de description formelle RT-LOTOS, PhD Dissertation (in french), Universit\u00e9 Paul Sabatier, Toulouse (December 2002)"},{"key":"23_CR12","doi-asserted-by":"crossref","unstructured":"Rutledge, L.: SMIL 2.0 \u2013 XML for Web Multimedia. IEEE Internet Computing, 78\u201384 (September-October 2001)","DOI":"10.1109\/4236.957898"},{"key":"23_CR13","doi-asserted-by":"crossref","unstructured":"Jourdan, M.: A formal semantics of SMIL: a Web standard to describe multimedia documents. Computer Standards and Interfaces 23, 439\u2013455 (2001)","DOI":"10.1016\/S0920-5489(01)00091-5"},{"key":"23_CR14","doi-asserted-by":"crossref","unstructured":"Layaida, N., Keramane, C.: Mantaining Temporal Consistency of Multimedia Documents. In: Proc of ACM Workshop on Effective Abstractions in Multimedia, San Francisco (1995)","DOI":"10.1117\/12.235866"},{"key":"23_CR15","unstructured":"Sampaio, P.: Conception formelle de documents multim\u00e9dia interactifs : une approche s\u2019appuyant sur RT-LOTOS, PhD Dissertation (in french), Universit\u00e9 Paul Sabatier, Toulouse (April 2003)"},{"key":"23_CR16","doi-asserted-by":"crossref","unstructured":"L\u00e9onard, L., Leduc, G.: An introduction to ET-LOTOS for the description of time-sensitive systems. Computer Networks and ISDN Systems 29, 271\u2013292 (1997)","DOI":"10.1016\/S0169-7552(96)00078-5"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Networked and Distributed Systems - FORTE 2003"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39979-7_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T09:36:26Z","timestamp":1559208986000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39979-7_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540201755","9783540399797"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39979-7_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}