{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T10:42:22Z","timestamp":1742380942230},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540462194"},{"type":"electronic","value":"9783540462200"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"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":[[2006]]},"DOI":"10.1007\/11888116_27","type":"book-chapter","created":{"date-parts":[[2006,10,3]],"date-time":"2006-10-03T10:06:43Z","timestamp":1159870003000},"page":"372-387","source":"Crossref","is-referenced-by-count":6,"title":["Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts"],"prefix":"10.1007","author":[{"given":"Mercedes G.","family":"Merayo","sequence":"first","affiliation":[]},{"given":"Manuel","family":"N\u00fa\u00f1ez","sequence":"additional","affiliation":[]},{"given":"Ismael","family":"Rodr\u00edguez","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"27_CR1","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., Dill, D.: A theory of timed automata. Theoretical Computer Science\u00a0126, 183\u2013235 (1994)","journal-title":"Theoretical Computer Science"},{"key":"27_CR2","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/0169-7552(91)90079-R","volume":"22","author":"B.S. Bosik","year":"1991","unstructured":"Bosik, B.S., Uyar, M.U.: Finite state machine based formal methods in protocol conformance testing. Computer Networks & ISDN Systems\u00a022, 7\u201333 (1991)","journal-title":"Computer Networks & ISDN Systems"},{"key":"27_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/3-540-45510-8_9","volume-title":"Modeling and Verification of Parallel Processes","author":"E. Brinksma","year":"2001","unstructured":"Brinksma, E., Tretmans, J.: Testing transition systems: An annotated bibliography. In: Cassez, F., Jard, C., Rozoy, B., Dermot, M. (eds.) MOVEP 2000. LNCS, vol.\u00a02067, pp. 187\u2013195. Springer, Heidelberg (2001)"},{"key":"27_CR4","doi-asserted-by":"crossref","unstructured":"Clarke, D., Lee, I.: Automatic generation of tests for timing constraints from requirements. In: 3rd Workshop on Object-Oriented Real-Time Dependable Systems (1997)","DOI":"10.1109\/WORDS.1997.609955"},{"issue":"7","key":"27_CR5","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1109\/TSE.2004.31","volume":"30","author":"K. El-Fakih","year":"2004","unstructured":"El-Fakih, K., Yevtushenko, N., von Bochmann, G.: FSM-based incremental conformance testing methods. IEEE Transactions on Software Engineering\u00a030(7), 425\u2013436 (2004)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"27_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/3-540-44830-6_16","volume-title":"Testing of Communicating Systems","author":"A. En-Nouaary","year":"2003","unstructured":"En-Nouaary, A., Dssouli, R.: A guided method for testing timed input output automata. In: Hogrefe, D., Wiles, A. (eds.) TestCom 2003. LNCS, vol.\u00a02644, pp. 211\u2013225. Springer, Heidelberg (2003)"},{"issue":"5","key":"27_CR7","doi-asserted-by":"publisher","first-page":"796","DOI":"10.1109\/TNET.2003.818182","volume":"11","author":"M.A. Fecko","year":"2003","unstructured":"Fecko, M.A., Uyar, M.\u00dc., Duale, A.Y., Amer, P.D.: A technique to generate feasible tests for communications systems with multiple timers. IEEE\/ACM Transactions on Networking\u00a011(5), 796\u2013809 (2003)","journal-title":"IEEE\/ACM Transactions on Networking"},{"key":"27_CR8","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/978-0-387-35567-2_13","volume-title":"12th Workshop on Testing of Communicating Systems","author":"T. Higashino","year":"1999","unstructured":"Higashino, T., Nakata, A., Taniguchi, K., Cavalli, A.: Generating test cases for a timed I\/O automaton model. In: 12th Workshop on Testing of Communicating Systems, pp. 197\u2013214. Kluwer Academic Publishers, Dordrecht (1999)"},{"issue":"8","key":"27_CR9","doi-asserted-by":"publisher","first-page":"1090","DOI":"10.1109\/5.533956","volume":"84","author":"D. Lee","year":"1996","unstructured":"Lee, D., Yannakakis, M.: Principles and methods of testing finite state machines: A survey. Proceedings of the IEEE\u00a084(8), 1090\u20131123 (1996)","journal-title":"Proceedings of the IEEE"},{"key":"27_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-36135-9_1","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2002","author":"M. N\u00fa\u00f1ez","year":"2002","unstructured":"N\u00fa\u00f1ez, M., Rodr\u00edguez, I.: Encoding PAMR into (timed) EFSMs. In: Peled, D.A., Vardi, M.Y. (eds.) FORTE 2002. LNCS, vol.\u00a02529, pp. 1\u201316. Springer, Heidelberg (2002)"},{"key":"27_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1007\/978-3-540-39979-7_22","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2003","author":"M. N\u00fa\u00f1ez","year":"2003","unstructured":"N\u00fa\u00f1ez, M., Rodr\u00edguez, I.: Towards testing stochastic timed systems. In: K\u00f6nig, H., Heiner, M., Wolisz, A. (eds.) FORTE 2003. LNCS, vol.\u00a02767, pp. 335\u2013350. Springer, Heidelberg (2003)"},{"key":"27_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/11759744_8","volume-title":"Formal Approaches to Software Testing","author":"M. N\u00fa\u00f1ez","year":"2006","unstructured":"N\u00fa\u00f1ez, M., Rodr\u00edguez, I.: Conformance testing relations for timed systems. In: Grieskamp, W., Weise, C. (eds.) FATES 2005. LNCS, vol.\u00a03997, pp. 103\u2013117. Springer, Heidelberg (2006)"},{"key":"27_CR13","first-page":"253","volume-title":"17th IEEE Int. Conf. on Distributed Computing Systems, ICDCS 1997","author":"J.C. Park","year":"1997","unstructured":"Park, J.C., Miller, R.E.: Synthesizing protocol specifications from service specifications in timed extended finite state machines. In: 17th IEEE Int. Conf. on Distributed Computing Systems, ICDCS 1997, pp. 253\u2013260. IEEE Computer Society, Los Alamitos (1997)"},{"key":"27_CR14","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., Dermot, M. (eds.) MOVEP 2000. LNCS, vol.\u00a02067, pp. 196\u2013205. Springer, Heidelberg (2001)"},{"issue":"1-2","key":"27_CR15","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/S0304-3975(99)00134-6","volume":"254","author":"J. Springintveld","year":"2001","unstructured":"Springintveld, J., Vaandrager, F., D\u2019Argenio, P.R.: Testing timed automata. Theoretical Computer Science\u00a0254(1-2), 225\u2013257 (2001)","journal-title":"Theoretical Computer Science"},{"issue":"3","key":"27_CR16","first-page":"103","volume":"17","author":"J. Tretmans","year":"1996","unstructured":"Tretmans, J.: Test generation with inputs, outputs and repetitive quiescence. Software \u2013 Concepts and Tools\u00a017(3), 103\u2013120 (1996)","journal-title":"Software \u2013 Concepts and Tools"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Networked and Distributed Systems - FORTE 2006"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11888116_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,13]],"date-time":"2019-03-13T19:45:56Z","timestamp":1552506356000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11888116_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540462194","9783540462200"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/11888116_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}