{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T19:06:23Z","timestamp":1742929583166,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540204916"},{"type":"electronic","value":"9783540399582"}],"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-39958-2_19","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T10:06:04Z","timestamp":1294394764000},"page":"276-292","source":"Crossref","is-referenced-by-count":2,"title":["Design and Verification of Distributed Multi-media Systems"],"prefix":"10.1007","author":[{"given":"David","family":"Akehurst","sequence":"first","affiliation":[]},{"given":"John","family":"Derrick","sequence":"additional","affiliation":[]},{"given":"A. Gill","family":"Waters","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","unstructured":"Aagedal, J.\u00d8.: Quality of Service Support in Development of Distributed Systems, PhD thesis, Department of Informatics, Faculty of Mathematics and Natural Sciences, The University of Oslo (2001)"},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"Akehurst, D.H., Bordbar, B., Derrick, J., Waters, A.G.: Design and Verification of Distributed Multi-media Systems,University of Kent at Canterbury (January 1-03, 2003)","DOI":"10.1007\/978-3-540-39958-2_19"},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"Akehurst, D.H., Derrick, J., Waters, A.G.: Addressing Computational Viewpoint Design. In Proceedings EDOC 2003, Brisbane, Australia (September 2003)","DOI":"10.1109\/EDOC.2003.1233845"},{"key":"19_CR4","volume-title":"Open Distributed Processing and Multimedia","author":"G. Blair","year":"1997","unstructured":"Blair, G., Stefani, J.-B.: Open Distributed Processing and Multimedia. Addison Wesley, Reading (1997) ISBN 0-201-17794-3"},{"key":"19_CR5","unstructured":"Blair, L.: The Role of Temporal Logic and Time Automata in Distributed Multimedia Systems. In: Proceedings Modal & Temporal Logic Based Planning for Open Networked Multimedia Systems (PONMS 1999), Cape Cod, MA, pp. 1\u20137 (November 1999)"},{"key":"19_CR6","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1016\/S1389-1286(02)00255-4","volume":"40","author":"B. Bordbar","year":"2002","unstructured":"Bordbar, B., Derrick, J., Waters, A.G., Using, U.M.L.: to specify QoS constraints in ODP. Computer Networks\u00a040, 279\u2013304 (2002)","journal-title":"Computer Networks"},{"key":"19_CR7","unstructured":"Bowman, H., Faconti, G., Katoen, J.-P., Latella, D., Massink, M.: Automatic verification of a lip-synchronisation algorithm using uppaal - extended version. In: Luttick, B., Groote, J.F., Wamel, J.V. (eds.) Proceedings FMICS 1998 Third International Workshop on Formal Methods for Industrial Critical Systems, CWI, Amsterdam, The Netherlands, May 1998, pp. 97\u2013124 (1998)"},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"David, A., Moller, M.O.: From HUppaal to Uppaal: A translation from hierarchical timed automata to flat timed automata, BRICS, Department of Computer Science, University of Aarhus,, Research Series RS-01-11 (March 2001)","DOI":"10.7146\/brics.v8i11.20467"},{"key":"19_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1007\/3-540-45923-5_15","volume-title":"Fundamental Approaches to Software Engineering","author":"A. David","year":"2002","unstructured":"David, A., Moller, M.O., Yi, W.: Formal Verification of UML Statecharts with Real- Time Extensions. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol.\u00a02306, p. 218. Springer, Heidelberg (2002)"},{"key":"19_CR10","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel, D.: Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming\u00a08, 231\u2013274 (1987)","journal-title":"Science of Computer Programming"},{"key":"19_CR11","unstructured":"Jones, T., Blair, L.: Prototyping of Real-time Component Based Systems by the use of Timed Automata. In: Hofmann, P., Sch\u00fcrr, A. (eds.) Proceedings Workshop on Objectoriented Modeling of Embedded Real-time Systems (OMER-2 2001), Munich, Germany. GI-Edition - Lecture Notes in Informatics (LNI), P-5 (May 2001)"},{"key":"19_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1007\/3-540-45739-9_23","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"A. Knapp","year":"2002","unstructured":"Knapp, A., Merz, S., Rauh, C.: Model Checking Timed UML State MAchines and Collaborations. In: Damm, W., Olderog, E.-R. (eds.) FTRTFT 2002. LNCS, vol.\u00a02469, p. 395. Springer, Heidelberg (2002)"},{"key":"19_CR13","doi-asserted-by":"crossref","unstructured":"Larsen, K.G., Pettersson, P., Yi, W.: UPPAAL in a Nutshell. Springer International Journal of Software Tools for Technology Transfer\u00a01 (October 1997)","DOI":"10.1007\/s100090050010"},{"key":"19_CR14","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1049\/ip-sen:20010553","volume":"148","author":"A.G. Waters","year":"2001","unstructured":"Waters, A.G., Linington, P.F., Akehurst, D.H., Utton, P., Martin, G.: Permabase: Predicting the performance of distributed systems at the design stage. IEE Proceedings - Software\u00a0148, 113\u2013121 (2001)","journal-title":"IEE Proceedings - Software"},{"key":"19_CR15","unstructured":"X.641, Information technology - Quality of service: Framework, vol. 1997: ITU-T Recommendation (1998)"},{"key":"19_CR16","unstructured":"X.901-5, Information Technology - Open Distributed Processing - Reference Model: All Parts, ITU-T Recommendation (1996-1999)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Open Object-Based Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39958-2_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T13:41:34Z","timestamp":1559914894000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39958-2_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540204916","9783540399582"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39958-2_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}