{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T00:14:58Z","timestamp":1742948098768,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540731955"},{"type":"electronic","value":"9783540731962"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"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":[[2007]]},"DOI":"10.1007\/978-3-540-73196-2_4","type":"book-chapter","created":{"date-parts":[[2007,7,6]],"date-time":"2007-07-06T04:50:02Z","timestamp":1183697402000},"page":"50-65","source":"Crossref","is-referenced-by-count":13,"title":["Specification of Timed EFSM Fault Models in SDL"],"prefix":"10.1007","author":[{"given":"S. S.","family":"Batth","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E. R.","family":"Vieira","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Cavalli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M. \u00dc.","family":"Uyar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"Ashour, M., Khendek, F., Le-Ngoc, T.: Formal description of real-time systems using SDL. In: Proc. of the Sixth Int\u2019l. Conf. on Real-Time Comp. Sys. and Appl (RTCSA\u201999), Hong-Kong (December 1999)"},{"key":"4_CR2","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 Comput. Sci.\u00a0126, 183\u2013235 (1994)","journal-title":"Theoretical Comput. Sci."},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Cavalli, A., Lee, D., Rinderknecht, C., Zaidi, F.: Hit-or-jump an algorithm for embedded testing with applications to in services. In: Proc. of IFIP Int\u2019l. Conf. FORTE\/PSTV\u201999, (October 1999)","DOI":"10.1007\/978-0-387-35578-8_3"},{"issue":"2","key":"4_CR4","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1590\/S0104-65002004000300005","volume":"10","author":"A. Cavalli","year":"2004","unstructured":"Cavalli, A., Mederreg, A., Zaidi, F.: Application of a Formal Testing Methodology to Wireless Telephony Networks. Journal of the Brazilian Comp. Soc.\u00a010(2), 56\u201368 (2004)","journal-title":"Journal of the Brazilian Comp. Soc."},{"key":"4_CR5","unstructured":"Cavalli, A., Rodrigues, E.: Vieira. Test Case Generation based on Timed Constraints. In: IEEE ICESS 2005, Xian, China (December 2005)"},{"key":"4_CR6","unstructured":"Cavalli, A., Rodrigues, E.: Vieira. A Formal Approach of Interoperability Test Cases Generation Applied to Real Time Domain. In: IEEE I2TS 05, Florianpolis, SC, Brazil (December 2005)"},{"issue":"5","key":"4_CR7","first-page":"614","volume":"53","author":"A.Y. Duale","year":"2004","unstructured":"Duale, A.Y., Uyar, M.U.: A method enabling feasible conformance test sequence generation for EFSM models. IEEE Trans. Commun.\u00a053(5), 614\u2013627 (2004)","journal-title":"IEEE Trans. Commun."},{"issue":"11","key":"4_CR8","doi-asserted-by":"publisher","first-page":"1023","DOI":"10.1109\/TSE.2002.1049402","volume":"28","author":"A. En-Nouaary","year":"2002","unstructured":"En-Nouaary, A., Dssouli, R., Khendek, F.: Timed Wp-method: Testing real-time systems. IEEE Trans. Softw. Eng.\u00a028(11), 1023\u20131038 (2002)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"En-Nouaary, A., Dssouli, R., Khendek, F., Elqortobi, A.: Timed test cases generation based on state characterization technique. In: Proc. IEEE Real-Time Syst. Symp.\u00a0(RTSS), pp. 220\u2013229, Madrid, Spain (1998)","DOI":"10.1109\/REAL.1998.739748"},{"key":"4_CR10","unstructured":"En-Nouaary, A., Khendek, F., Dssouli, R.: Fault coverage in testing real-time systems. In: Proc. IEEE Int\u2019l Conf. Real-Time Comput. Syst. Appl.\u00a0(RTCSA), Hong Kong, China (1999)"},{"key":"4_CR11","unstructured":"ETSI. Methods for Testing and Specification (MTS), The Testing and Test Control Notation version 3, Part 1: TTCN-3 Core Language"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Fecko, M.A., Amer, P.D., Uyar, M.U., Duale, A.Y.: Test generation in the presence of conflicting timers. In: Proc. IFIP Int\u2019l Conf. Test. Commun. Syst. (TestCom), pp. 301\u2013320, Ottawa, Canada (2000)","DOI":"10.1007\/978-0-387-35516-0_19"},{"issue":"5","key":"4_CR13","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.U., Duale, A.Y., Amer, P.D.: A technique to generate feasible tests for communications systems with multiple timers. IEEE\/ACM Trans. Netw.\u00a011(5), 796\u2013809 (2003)","journal-title":"IEEE\/ACM Trans. Netw."},{"key":"4_CR14","unstructured":"Heitmeyer, C.L., Jeffords, R.D., Labaw, B.G., Benchmark, A.: for Comparing Different Approaches for Specifying and Verifying Real-Time Systems. In: Proc. Tenth Int\u2019l. Workshop on Real-Time Operating Sys. and Software (May 1993)"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Heitmeyer, C., Lynch, N.: The Generalized Railroad Crossing: A Case Study in Formal Verification of Real-Time System. In: Proc. of the 15th IEEE Real-Time Sys. Symp., Puerto Rico (December 1994)","DOI":"10.1109\/REAL.1994.342724"},{"key":"4_CR16","first-page":"83","volume-title":"Trends in Formal Methods for Real-Time Computing","author":"C. Heitmeyer","year":"1996","unstructured":"Heitmeyer, C., Lynch, N.: Formal Verification of Real-time Systems Using Timed Automata. In: Heitmeyer, C., Lynch, N. (eds.) Trends in Formal Methods for Real-Time Computing, pp. 83\u2013106. John Wiley and Sons, Ltd, Chichester (1996)"},{"key":"4_CR17","unstructured":"ITU-T. Rec. Z.100 Specification and Description Language (1980)"},{"key":"4_CR18","unstructured":"ITU-T. Rec. Z. 120 Message Sequence Charts, Geneva (1996)"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"Lanphier, R., Rao, A., Schulzrinne, H.: Real time streaming protocol (RTSP). RFC 2326, IETF (1998)","DOI":"10.17487\/rfc2326"},{"key":"4_CR20","unstructured":"Schulzrinne, H., Casner, S., Frederick, R., Jacobson, V.: RTP: A transport protocol for real-time applications. RFC 1889, IETF (1996)"},{"key":"4_CR21","unstructured":"Teyssie, C., Mmammeri, Z., Carcenac, F., Buniol, F.: Etude Comparative de SDL et UML pour la Modelisation de Systemes Temps Reel. In: 11th Conf. on Real-Time and Embedded Systems, pp. 75\u201397, Paris, Teknea (April 2003)"},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"Uyar, M.U., Wang, Y., Batth, S.S., Wise, A., Fecko, M.A.: Timing Fault Models for Systems with Multiple Timers. In: IFIP Int\u2019l. Conf. on Testing of Comm. Systems (TESTCOM), Concordia, Canada (2005)","DOI":"10.1007\/11430230_14"},{"key":"4_CR23","unstructured":"Uyar, M.U., Batth, S.S., Wang, Y., Fecko, M.A.: EFSM graph augmentation algorithms for modeling a class of single timing faults. IEEE Trans. Comput. (In review 2006)"},{"key":"4_CR24","unstructured":"Uyar, M.U., Fecko, M.A., Duale, A.Y., Amer, P.D., Sethi, A.S.: A formal approach to development of network protocols: Theory and application to a wireless standard. In: Proc. Concordia Prestigious Wksp Commun. Softw. Eng.\u00a0(CPWCSE), Montreal, Canada (invited paper) (2001)"},{"issue":"3","key":"4_CR25","doi-asserted-by":"publisher","first-page":"358","DOI":"10.1109\/90.234857","volume":"1","author":"H. Ural","year":"1993","unstructured":"Ural, H., Zhu, K.: Optimal length test sequence generation using distinguishing sequences. IEEE\/ACM Trans. Netw.\u00a01(3), 358\u2013371 (1993)","journal-title":"IEEE\/ACM Trans. Netw."},{"key":"4_CR26","unstructured":"Xiang, Z., En-Nouaary, A.: Test cases generation for embedded real-time systems based on test purposes. In: NOTERE\u20192004, Saidia, Maroc (Juin 2004)"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Networked and Distributed Systems \u2013 FORTE 2007"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73196-2_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,18]],"date-time":"2025-01-18T06:51:55Z","timestamp":1737183115000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73196-2_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540731955","9783540731962"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73196-2_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}