{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,20]],"date-time":"2025-11-20T12:37:38Z","timestamp":1763642258442,"version":"3.40.3"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319671123"},{"type":"electronic","value":"9783319671130"}],"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-67113-0_5","type":"book-chapter","created":{"date-parts":[[2017,8,24]],"date-time":"2017-08-24T00:21:24Z","timestamp":1503534084000},"page":"66-82","source":"Crossref","is-referenced-by-count":8,"title":["Model-Based Testing for Asynchronous Systems"],"prefix":"10.1007","author":[{"given":"Alexander","family":"Graf-Brill","sequence":"first","affiliation":[]},{"given":"Holger","family":"Hermanns","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,8,25]]},"reference":[{"unstructured":"Balemi, S.: Control of discrete event systems: theory and application. Ph.D. thesis, Swiss Federal Institute of Technology, Zurich, Switzerland (1992)","key":"5_CR1"},{"issue":"6","key":"5_CR2","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1049\/sej.1991.0040","volume":"6","author":"G Bernot","year":"1991","unstructured":"Bernot, G., Gaudel, M.-C., Marre, B.: Software testing based on formal specifications: a theory and a tool. Softw. Eng. J. 6(6), 387\u2013405 (1991)","journal-title":"Softw. Eng. J."},{"key":"5_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/11430230_7","volume-title":"Testing of Communicating Systems","author":"M Bijl","year":"2005","unstructured":"Bijl, M., Rensink, A., Tretmans, J.: Action refinement in conformance testing. In: Khendek, F., Dssouli, R. (eds.) TestCom 2005. LNCS, vol. 3502, pp. 81\u201396. Springer, Heidelberg (2005). doi: 10.1007\/11430230_7"},{"unstructured":"CAN in Automation International Users and Manufacturers Group e.V.: CiA 301 CANopen Application Layer and Communication Profile, v. 4.2.0 (2011)","key":"5_CR4"},{"unstructured":"CAN in Automation International Users and Manufacturers Group e.V.: CiA 305 Layer setting services (LSS) and protocols, v. 3.0.0 (2013)","key":"5_CR5"},{"unstructured":"CAN in Automation International Users and Manufacturers Group e.V. and EnergyBus e.V.: CiA 454 Draft Standard Proposal Application profile for energy management systems - doc. series 1-14, v. 2.0.0 (2014)","key":"5_CR6"},{"doi-asserted-by":"crossref","unstructured":"da Silva Sim\u00e3o, A., Petrenko, A.: From test purposes to asynchronous test cases. In: ICST 2010 Workshops Proceedings, pp. 1\u201310. IEEE Computer Society (2010)","key":"5_CR7","DOI":"10.1109\/ICSTW.2010.32"},{"issue":"2","key":"5_CR8","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1007\/BF00264365","volume":"24","author":"R Nicola De","year":"1987","unstructured":"De Nicola, R.: Extensional equivalences for transition systems. Acta Inf. 24(2), 211\u2013237 (1987)","journal-title":"Acta Inf."},{"key":"5_CR9","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","volume":"34","author":"R Nicola De","year":"1984","unstructured":"De Nicola, R., Hennessy, M.: Testing equivalences for processes. Theor. Comput. Sci. 34, 83\u2013133 (1984)","journal-title":"Theor. Comput. Sci."},{"key":"5_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/3-540-59293-8_188","volume-title":"TAPSOFT \u201995: Theory and Practice of Software Development","author":"M-C Gaudel","year":"1995","unstructured":"Gaudel, M.-C.: Testing can be formal, too. In: Mosses, P.D., Nielsen, M., Schwartzbach, M.I. (eds.) CAAP 1995. LNCS, vol. 915, pp. 82\u201396. Springer, Heidelberg (1995). doi: 10.1007\/3-540-59293-8_188"},{"key":"5_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/978-3-662-43613-4_6","volume-title":"Formal Techniques for Distributed Objects, Components, and Systems","author":"A Graf-Brill","year":"2014","unstructured":"Graf-Brill, A., Hermanns, H., Garavel, H.: A model-based certification framework for the EnergyBus standard. In: \u00c1brah\u00e1m, E., Palamidessi, C. (eds.) FORTE 2014. LNCS, vol. 8461, pp. 84\u201399. Springer, Heidelberg (2014). doi: 10.1007\/978-3-662-43613-4_6"},{"issue":"2","key":"5_CR12","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/s10703-012-0167-z","volume":"43","author":"EM Hahn","year":"2013","unstructured":"Hahn, E.M., Hartmanns, A., Hermanns, H., Katoen, J.-P.: A compositional modelling and analysis framework for stochastic hybrid systems. Form. Methods Syst. Des. 43(2), 191\u2013232 (2013)","journal-title":"Form. Methods Syst. Des."},{"key":"5_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"593","DOI":"10.1007\/978-3-642-54862-8_51","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A Hartmanns","year":"2014","unstructured":"Hartmanns, A., Hermanns, H.: The modest toolset: an integrated environment for quantitative modelling and verification. In: \u00c1brah\u00e1m, E., Havelund, K. (eds.) TACAS 2014. LNCS, vol. 8413, pp. 593\u2013598. Springer, Heidelberg (2014). doi: 10.1007\/978-3-642-54862-8_51"},{"key":"5_CR14","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1016\/j.tcs.2012.05.038","volume":"451","author":"RM Hierons","year":"2012","unstructured":"Hierons, R.M.: The complexity of asynchronous model based testing. Theor. Comput. Sci. 451, 70\u201382 (2012)","journal-title":"Theor. Comput. Sci."},{"issue":"11","key":"5_CR15","doi-asserted-by":"crossref","first-page":"1305","DOI":"10.1093\/comjnl\/bxs107","volume":"56","author":"RM Hierons","year":"2013","unstructured":"Hierons, R.M.: Implementation relations for testing through asynchronous channels. Comput. J. 56(11), 1305\u20131319 (2013)","journal-title":"Comput. J."},{"key":"5_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/978-3-540-24704-3_6","volume-title":"Testing of Communicating Systems","author":"J Huo","year":"2004","unstructured":"Huo, J., Petrenko, A.: On testing partially specified IOTS through lossless queues. In: Groz, R., Hierons, R.M. (eds.) TestCom 2004. LNCS, vol. 2978, pp. 76\u201394. Springer, Heidelberg (2004). doi: 10.1007\/978-3-540-24704-3_6"},{"issue":"4","key":"5_CR17","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/s10009-004-0153-x","volume":"7","author":"C Jard","year":"2005","unstructured":"Jard, C., J\u00e9ron, T.: TGV: theory, principles and algorithms. STTT 7(4), 297\u2013315 (2005)","journal-title":"STTT"},{"unstructured":"Langerak, R.: A testing theory for LOTOS using deadlock detection. In: PSTV 1989, North-Holland, pp. 87\u201398 (1989)","key":"5_CR18"},{"key":"5_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1007\/3-540-45510-8_10","volume-title":"Modeling and Verification of Parallel Processes","author":"A Petrenko","year":"2001","unstructured":"Petrenko, A.: Fault model-driven test derivation from finite state models: annotated bibliography. In: Cassez, F., Jard, C., Rozoy, B., Ryan, M.D. (eds.) MOVEP 2000. LNCS, vol. 2067, pp. 196\u2013205. Springer, Heidelberg (2001). doi: 10.1007\/3-540-45510-8_10"},{"unstructured":"Petrenko, A., Yevtushenko, N.: Queued testing of transition systems with inputs and outputs. In: Proceedings of FATES 2002, pp. 79\u201393 (2002)","key":"5_CR20"},{"key":"5_CR21","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1016\/0304-3975(87)90117-4","volume":"50","author":"I Phillips","year":"1987","unstructured":"Phillips, I.: Refusal testing. Theor. Comput. Sci. 50, 241\u2013284 (1987)","journal-title":"Theor. Comput. Sci."},{"unstructured":"Tretmans, J.: A formal approach to conformance testing. Ph.D. thesis, University of Twente, Enschede (1992)","key":"5_CR22"},{"key":"5_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/3-540-48320-9_6","volume-title":"CONCUR\u201999 Concurrency Theory","author":"J Tretmans","year":"1999","unstructured":"Tretmans, J.: Testing concurrent systems: a formal approach. In: Baeten, J.C.M., Mauw, S. (eds.) CONCUR 1999. LNCS, vol. 1664, pp. 46\u201365. Springer, Heidelberg (1999). doi: 10.1007\/3-540-48320-9_6"},{"key":"5_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-78917-8_1","volume-title":"Formal Methods and Testing","author":"J Tretmans","year":"2008","unstructured":"Tretmans, J.: Model based testing with labelled transition systems. In: Hierons, R.M., Bowen, J.P., Harman, M. (eds.) Formal Methods and Testing. LNCS, vol. 4949, pp. 1\u201338. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-78917-8_1"},{"unstructured":"Tretmans, J., Brinksma, E.: TorX: Automated Model Based Testing - C\u00f4te de Resyste (2003)","key":"5_CR25"},{"doi-asserted-by":"crossref","unstructured":"Tretmans, J., Verhaard, L.: A queue model relating synchronous and asynchronous communication. In: PSTV 1992, North-Holland, pp. 131\u2013145 (1992)","key":"5_CR26","DOI":"10.1016\/B978-0-444-89874-6.50015-5"},{"unstructured":"Verhaard, L., Tretmans, J., Kars, P., Brinksma, E.: On asynchronous testing. In: IWPTS 1992, North-Holland, pp. 55\u201366 (1992)","key":"5_CR27"},{"doi-asserted-by":"crossref","unstructured":"Weiglhofer, M., Wotawa, F.: Asynchronous input-output conformance testing. In: COMPSAC 2009, pp. 154\u2013159. IEEE Computer Society (2009)","key":"5_CR28","DOI":"10.1109\/COMPSAC.2009.194"}],"container-title":["Lecture Notes in Computer Science","Critical Systems: Formal Methods and Automated Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-67113-0_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,2]],"date-time":"2019-10-02T14:48:55Z","timestamp":1570027735000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-67113-0_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319671123","9783319671130"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-67113-0_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}