{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,28]],"date-time":"2026-03-28T04:29:04Z","timestamp":1774672144071,"version":"3.50.1"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032051875","type":"print"},{"value":"9783032051882","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,9,16]],"date-time":"2025-09-16T00:00:00Z","timestamp":1757980800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,9,16]],"date-time":"2025-09-16T00:00:00Z","timestamp":1757980800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-05188-2_3","type":"book-chapter","created":{"date-parts":[[2025,9,15]],"date-time":"2025-09-15T21:53:08Z","timestamp":1757973188000},"page":"35-52","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Time for\u00a0Quiescence: Modelling Quiescent Behaviour in\u00a0Testing via\u00a0Time-Outs in\u00a0Timed Automata"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0001-7402-0077","authenticated-orcid":false,"given":"Laura Brand\u00e1n","family":"Briones","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2655-9617","authenticated-orcid":false,"given":"Marcus","family":"Gerhold","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9212-1525","authenticated-orcid":false,"given":"Petra van den","family":"Bos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6793-8165","authenticated-orcid":false,"given":"Mari\u00eblle","family":"Stoelinga","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,9,16]]},"reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1007\/3-540-48683-6_3","volume-title":"Computer Aided Verification","author":"R Alur","year":"1999","unstructured":"Alur, R.: Timed automata. In: Halbwachs, N., Peled, D. (eds.) CAV 1999. LNCS, vol. 1633, pp. 8\u201322. Springer, Heidelberg (1999). https:\/\/doi.org\/10.1007\/3-540-48683-6_3"},{"issue":"2","key":"3_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3572837","volume":"24","author":"J Baxter","year":"2023","unstructured":"Baxter, J., Cavalcanti, A., Gazda, M., Hierons, R.M.: Testing using CSP models: time, inputs, and outputs. ACM Trans. Comput. Logic 24(2), 1\u201340 (2023)","journal-title":"ACM Trans. Comput. Logic"},{"key":"3_CR3","unstructured":"Briones, L.B.: Theories for model-based testing: real-time and coverage (2007)"},{"key":"3_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-540-31848-4_5","volume-title":"Formal Approaches to Software Testing","author":"LB Briones","year":"2005","unstructured":"Briones, L.B., Brinksma, E.: A test generation framework for quiescent real-time systems. In: Grabowski, J., Nielsen, B. (eds.) FATES 2004. LNCS, vol. 3395, pp. 64\u201378. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/978-3-540-31848-4_5"},{"key":"3_CR5","unstructured":"Briones, L.B.,\u00a0Gerhold, M.,\u00a0van\u00a0den Bos P.,\u00a0Stoelinga, M.: Time for quiescence: Modelling quiescent behaviour in testing via time-outs in timed automata. ArXiv pre-print with proofs (2025)"},{"key":"3_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/11940197_3","volume-title":"Formal Approaches to Software Testing and Runtime Verification","author":"L Frantzen","year":"2006","unstructured":"Frantzen, L., Tretmans, J., Willemse, T.A.C.: A symbolic framework for model-based testing. In: Havelund, K., N\u00fa\u00f1ez, M., Ro\u015fu, G., Wolff, B. (eds.) FATES\/RV -2006. LNCS, vol. 4262, pp. 40\u201354. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11940197_3"},{"key":"3_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/978-3-642-41707-8_6","volume-title":"Testing Software and Systems","author":"C Gaston","year":"2013","unstructured":"Gaston, C., Hierons, R.M., Le Gall, P.: An implementation relation and test framework for timed distributed systems. In: Yenig\u00fcn, H., Yilmaz, C., Ulrich, A. (eds.) ICTSS 2013. LNCS, vol. 8254, pp. 82\u201397. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-41707-8_6"},{"issue":"3\u20134","key":"3_CR8","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1007\/s11334-019-00349-z","volume":"15","author":"M Gerhold","year":"2019","unstructured":"Gerhold, M., Hartmanns, A., Stoelinga, M.: Model-based testing of stochastically timed systems. Innov. Syst. Softw. Eng. 15(3\u20134), 207\u2013233 (2019)","journal-title":"Innov. Syst. Softw. Eng."},{"issue":"1","key":"3_CR9","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/s00165-017-0440-4","volume":"30","author":"M Gerhold","year":"2018","unstructured":"Gerhold, M., Stoelinga, M.: Model-based testing of probabilistic systems. Formal Aspects Comput. 30(1), 77\u2013106 (2018)","journal-title":"Formal Aspects Comput."},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Iqbal, J.,\u00a0Truscan, D.,\u00a0Vain, J.: Time semantics of executable activity diagrams for relativized conformance testing. In: Proceedings of the 23rd ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS \u201920.. Association for Computing Machinery, New York (2020)","DOI":"10.1145\/3417990.3421399"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Janssen, R.,\u00a0Tretmans, J.: Matching implementations to specifications: the corner cases of ioco. In:\u00a0Hung, C.,\u00a0Papadopoulos, G. (eds.) Proceedings of the 34th ACM\/SIGAPP Symposium on Applied Computing (SAC), Limassol, Cyprus, pp. 2196\u20132205. ACM (2019)","DOI":"10.1145\/3297280.3297496"},{"key":"3_CR12","unstructured":"Krichen, M.: Testing timed systems using determinization techniques for one-clock timed automata. In: Kacem, A.H.,\u00a0Kallel, S.,\u00a0Belala, F.,\u00a0Belguidoum, M.,\u00a0Jmaiel, M., Rodriguez, I.B. (eds.) Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2021), vol. 3067 of CEUR Workshop Proceedings, pp. 62\u201373. CEUR-WS.org (2021)"},{"key":"3_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/978-3-540-24732-6_8","volume-title":"Model Checking Software","author":"M Krichen","year":"2004","unstructured":"Krichen, M., Tripakis, S.: Black-box conformance testing for real-time systems. In: Graf, S., Mounier, L. (eds.) SPIN 2004. LNCS, vol. 2989, pp. 109\u2013126. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-24732-6_8"},{"key":"3_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/978-3-540-31848-4_6","volume-title":"Formal Approaches to Software Testing","author":"KG Larsen","year":"2005","unstructured":"Larsen, K.G., Mikucionis, M., Nielsen, B.: Online testing of real-time systems using Uppaal. In: Grabowski, J., Nielsen, B. (eds.) FATES 2004. LNCS, vol. 3395, pp. 79\u201394. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/978-3-540-31848-4_6"},{"key":"3_CR15","unstructured":"Lochau, M., Peldszus, S., Kowal, M., Schaefer I.: Model-based testing. In: Bernardo, M., Damiani, F., H\u00e4hnle, R., Johnsen, E.B., Schaefer, I. (eds.) Formal Methods for Executable Software Models - 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, 16\u201320 June 2014, Advanced Lectures, vol. 8483 of Lecture Notes in Computer Science, pp. 310\u2013342. Springer, Heidelberg (2014)"},{"key":"3_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/978-3-030-40914-2_8","volume-title":"Formal Aspects of Component Software","author":"L Luthmann","year":"2020","unstructured":"Luthmann, L., G\u00f6ttmann, H., Lochau, M.: Compositional liveness-preserving conformance testing of timed I\/O\u00a0automata. In: Arbab, F., Jongmans, S.-S. (eds.) FACS 2019. LNCS, vol. 12018, pp. 147\u2013169. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-40914-2_8"},{"issue":"1","key":"3_CR17","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/s10009-002-0094-1","volume":"5","author":"B Nielsen","year":"2003","unstructured":"Nielsen, B., Skou, A.: Automated test generation from timed automata. Int. J. Softw. Tools Technol. Transfer 5(1), 59\u201377 (2003). https:\/\/doi.org\/10.1007\/s10009-002-0094-1","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"3_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/978-3-642-24580-0_2","volume-title":"Testing Software and Systems","author":"M N\u00fa\u00f1ez","year":"2011","unstructured":"N\u00fa\u00f1ez, M.: Formal testing of timed and probabilistic systems. In: Wolff, B., Za\u00efdi, F. (eds.) ICTSS 2011. LNCS, vol. 7019, pp. 9\u201314. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-24580-0_2"},{"key":"3_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-48989-6_1","volume-title":"FM 2016: Formal Methods","author":"J Peleska","year":"2016","unstructured":"Peleska, J., Huang, W.: Industrial-strength model-based testing of safety-critical systems. In: Fitzgerald, J., Heitmeyer, C., Gnesi, S., Philippou, A. (eds.) FM 2016. LNCS, vol. 9995, pp. 3\u201322. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-48989-6_1"},{"issue":"1","key":"3_CR20","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/S1474-6670(17)39986-X","volume":"32","author":"E Petitjean","year":"1999","unstructured":"Petitjean, E., Fouchal, H.: From timed automata to testable untimed automata. IFAC Proc. Vol. 32(1), 189\u2013194 (1999)","journal-title":"IFAC Proc. Vol."},{"issue":"1\u20132","key":"3_CR21","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/S0304-3975(99)00134-6","volume":"254","author":"J Springintveld","year":"2001","unstructured":"Springintveld, J., Vaandrager, F.W., D\u2019Argenio, P.R.: Testing timed automata. Theor. Comput. Sci. 254(1\u20132), 225\u2013257 (2001)","journal-title":"Theor. Comput. Sci."},{"key":"3_CR22","doi-asserted-by":"crossref","first-page":"73","DOI":"10.4204\/EPTCS.80.6","volume":"80","author":"G Stokkink","year":"2012","unstructured":"Stokkink, G., Timmer, M., Stoelinga, M.: Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation. Electron. Proc. Theor. Comput. Sci. 80, 73\u201387 (2012)","journal-title":"Electron. Proc. Theor. Comput. Sci."},{"key":"3_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/978-3-642-38916-0_13","volume-title":"Tests and Proofs","author":"WGJ Stokkink","year":"2013","unstructured":"Stokkink, W.G.J., Timmer, M., Stoelinga, M.I.A.: Divergent quiescent transition systems. In: Veanes, M., Vigan\u00f2, L. (eds.) TAP 2013. LNCS, vol. 7942, pp. 214\u2013231. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-38916-0_13"},{"issue":"1","key":"3_CR24","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1016\/S0169-7552(96)00017-7","volume":"29","author":"J Tretmans","year":"1996","unstructured":"Tretmans, J.: Conformance testing with labelled transition systems: implementation relations and test generation. Comput. Networks ISDN Syst. 29(1), 49\u201379 (1996)","journal-title":"Comput. Networks ISDN Syst."},{"key":"3_CR25","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). https:\/\/doi.org\/10.1007\/978-3-540-78917-8_1"},{"key":"3_CR26","doi-asserted-by":"crossref","unstructured":"Tretmans, J.,\u00a0Janssen, R.: Goodbye ioco. In:\u00a0Jansen, N.,\u00a0Stoelinga, M.,\u00a0van\u00a0den Bos, P. (eds.) A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, vol. 13560 of Lecture Notes in Computer Science, pp. 491\u2013511. Springer, Heidelberg (2022)","DOI":"10.1007\/978-3-031-15629-8_26"},{"key":"3_CR27","doi-asserted-by":"crossref","DOI":"10.1016\/j.scico.2023.103053","volume":"233","author":"A Tvardovskii","year":"2024","unstructured":"Tvardovskii, A., El-Fakih, K., Yevtushenko, N.: Testing and incremental conformance testing of timed state machines. Sci. Comput. Program. 233, 103053 (2024)","journal-title":"Sci. Comput. Program."},{"key":"3_CR28","doi-asserted-by":"crossref","unstructured":"van\u00a0den Bos, P.,\u00a0Stoelinga, M.: Tester versus bug: a generic framework for model-based testing via games. In: 9th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2018, pp. 118\u2013132. Dagstuhl (2018)","DOI":"10.4204\/EPTCS.277.9"},{"key":"3_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-030-31157-5_5","volume-title":"Tests and Proofs","author":"P van den Bos","year":"2019","unstructured":"van den Bos, P., Tretmans, J.: Coverage-based testing with symbolic transition systems. In: Beyer, D., Keller, C. (eds.) TAP 2019. LNCS, vol. 11823, pp. 64\u201382. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-31157-5_5"}],"container-title":["Lecture Notes in Computer Science","Testing Software and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-05188-2_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,15]],"date-time":"2025-09-15T21:53:11Z","timestamp":1757973191000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-05188-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,16]]},"ISBN":["9783032051875","9783032051882"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-05188-2_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,9,16]]},"assertion":[{"value":"16 September 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICTSS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"IFIP International Conference on Testing Software and Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Limassol","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Cyprus","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 September 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 September 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"37","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"pts2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/conf.researchr.org\/home\/ictss-2025","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}