{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,4]],"date-time":"2025-06-04T04:17:38Z","timestamp":1749010658384,"version":"3.41.0"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319401799"},{"type":"electronic","value":"9783319401805"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-40180-5_19","type":"book-chapter","created":{"date-parts":[[2016,6,20]],"date-time":"2016-06-20T13:36:32Z","timestamp":1466429792000},"page":"272-286","source":"Crossref","is-referenced-by-count":3,"title":["Model-Based Testing of Real-Time Distributed Systems"],"prefix":"10.1007","author":[{"given":"J\u00fcri","family":"Vain","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Evelin","family":"Halling","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gert","family":"Kanter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aivo","family":"Anier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Deepak","family":"Pal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,6,21]]},"reference":[{"issue":"4","key":"19_CR1","first-page":"40","volume":"13","author":"A Brook","year":"2015","unstructured":"Brook, A.: Evolution and practice: low-latency distributed applications in finance. Queue - Distrib. Comput. 13(4), 40\u201353 (2015). ACM, New York","journal-title":"Queue - Distrib. Comput."},{"issue":"5","key":"19_CR2","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1002\/stvr.456","volume":"22","author":"M Utting","year":"2012","unstructured":"Utting, M., Pretschner, A., Legeard, B.: A taxonomy of model-based testing. Softw. Test. Verif. Reliab. 22(5), 297\u2013312 (2012). Wiley, Chichester, UK","journal-title":"Softw. Test. Verif. Reliab."},{"volume-title":"Model-Based Testing for Embedded Systems","year":"2011","unstructured":"Zander, J., Schieferdecker, I., Mosterman, P.J. (eds.): Model-Based Testing for Embedded Systems. CRC Press, Boca Raton (2011)","key":"19_CR3"},{"unstructured":"ISO. Information Technology, Open Systems Interconnection, Conformance Testing Methodology and Framework - Parts 1\u20135. International Standard IS-9646. ISO, Geneve (1991)","key":"19_CR4"},{"doi-asserted-by":"crossref","unstructured":"Luo, G., Dssouli, R., v. Bochmann, G., Venkataram, P., Ghedamsi, A.: Test generation with respect to distributed interfaces. Comput. Stand. Interfaces 16(2), 119\u2013132 (1994). Elsevier","key":"19_CR5","DOI":"10.1016\/0920-5489(94)90003-5"},{"doi-asserted-by":"crossref","unstructured":"Sarikaya, B., v. Bochmann, G.: Synchronization and specification issues in protocol testing. IEEE Trans. Commun. 389\u2013395 (1984). IEEE Press, New York","key":"19_CR6","DOI":"10.1109\/TCOM.1984.1096074"},{"issue":"1","key":"19_CR7","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1007\/s00446-011-0149-1","volume":"25","author":"RM Hierons","year":"2012","unstructured":"Hierons, R.M., Merayo, M.G., N\u00fa\u00f1ez, M.: Implementation relations and test generation for systems with distributed interfaces. Distrib. Comput. 25(1), 35\u201362 (2012). Springer","journal-title":"Distrib. Comput."},{"key":"19_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1007\/978-3-642-41707-8_5","volume-title":"Testing Software and Systems","author":"A David","year":"2013","unstructured":"David, A., Larsen, K.G., Miku\u010dionis, M., Nguena Timo, O.L., Rollet, A.: Remote testing of timed specifications. In: Yenig\u00fcn, H., Yilmaz, C., Ulrich, A. (eds.) ICTSS 2013. LNCS, vol. 8254, pp. 65\u201381. Springer, Heidelberg (2013)"},{"key":"19_CR9","doi-asserted-by":"crossref","first-page":"113","DOI":"10.4018\/978-1-60960-747-0.ch007","volume-title":"Dependability and Computer Engineering: Concepts for Software-Intensive Systems","author":"J Vain","year":"2012","unstructured":"Vain, J., K\u00e4\u00e4ramees, M., Markvardt, M.: Online testing of nondeterministic systems with reactive planning tester. In: Petre, L., Sere, K., Troubitsyna, E. (eds.) Dependability and Computer Engineering: Concepts for Software-Intensive Systems, pp. 113\u2013150. IGI Global, Hershey (2012)"},{"unstructured":"dTron - Extension of TRON for distributed testing. http:\/\/www.cs.ttu.ee\/dtron","key":"19_CR10"},{"key":"19_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/978-3-540-30080-9_7","volume-title":"Formal Methods for the Design of Real-Time Systems","author":"G Behrmann","year":"2004","unstructured":"Behrmann, G., David, A., Larsen, K.G.: A tutorial on UPPAAL. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol. 3185, pp. 200\u2013236. Springer, Heidelberg (2004)"},{"doi-asserted-by":"crossref","unstructured":"Anier, A., Vain, J.: Model based continual planning and control for assistive robots. In: Proceedings of International Conference on Health Informatics, pp. 382\u2013385. SciTePress, Set\u00fabal (2012)","key":"19_CR12","DOI":"10.5220\/0003783503820385"},{"key":"19_CR13","series-title":"Lecture Notes in Computer Science","first-page":"87","volume-title":"Lectures on Concurrency and Petri Nets: Advances in Petri Nets","author":"JE Bengtsson","year":"2004","unstructured":"Bengtsson, J.E., Yi, W.: Timed automata: semantics, algorithms and tools. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) Lectures on Concurrency and Petri Nets: Advances in Petri Nets. LNCS, vol. 3098, pp. 87\u2013124. Springer, Heidelberg (2004)"},{"issue":"3","key":"19_CR14","first-page":"103","volume":"17","author":"J Tretmans","year":"1996","unstructured":"Tretmans, J.: Test generation with inputs, outputs and repetitive quiescence. Softw.-Concepts Tools 17(3), 103\u2013120 (1996). Springer","journal-title":"Softw.-Concepts Tools"},{"key":"19_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"324","DOI":"10.1007\/3-540-57208-2_23","volume-title":"4th Intrenational Conference on Concurrency Theory (CONCUR 1993)","author":"R Segala","year":"1993","unstructured":"Segala, R.: Quiescence, fairness, testing, and the notion of implementation. In: Best, E. (ed.) CONCUR 1993. LNCS, vol. 715, pp. 324\u2013338. Springer, Heidelberg (1993)"},{"key":"19_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/978-3-540-78917-8_3","volume-title":"Formal Methods and Testing: An Outcome of the FORTEST Network","author":"A Hessel","year":"2008","unstructured":"Hessel, A., Larsen, K.G., Mikucionis, M., Nielsen, B., Pettersson, P., Skou, A.: Testing real-time systems using UPPAAL. In: Hierons, R.M., Bowen, J.P., Harman, M. (eds.) FORTEST. LNCS, vol. 4949, pp. 77\u2013117. Springer, Heidelberg (2008)"},{"unstructured":"The Spread Toolkit. http:\/\/spread.org\/","key":"19_CR17"},{"unstructured":"Kirilenko, A., Kyle, A., Samadi, M., Tuzun, T.: The flash crash: the impact of high frequency trading on an electronic market. In: Social Science Research Network (2015). http:\/\/www.cftc.gov\/idc\/groups\/public\/@economicanalysis\/documents\/file\/oce_flashcrash0314.pdf","key":"19_CR18"}],"container-title":["Communications in Computer and Information Science","Databases and Information Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-40180-5_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,3]],"date-time":"2025-06-03T22:16:16Z","timestamp":1748988976000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-40180-5_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319401799","9783319401805"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-40180-5_19","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2016]]}}}