{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:46:53Z","timestamp":1725515213994},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540685142"},{"type":"electronic","value":"9783540685241"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-68524-1_8","type":"book-chapter","created":{"date-parts":[[2008,6,5]],"date-time":"2008-06-05T08:34:48Z","timestamp":1212654888000},"page":"86-102","source":"Crossref","is-referenced-by-count":20,"title":["${\\cal T}\\! {\\cal H} {\\cal O} {\\cal T}\\! {\\cal L}$ : A Timed Extension of ${\\cal H} {\\cal O} {\\cal T}\\! {\\cal L}$"],"prefix":"10.1007","author":[{"given":"Mercedes G.","family":"Merayo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"N\u00fa\u00f1ez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ismael","family":"Rodr\u00edguez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_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":"8_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/978-3-540-73196-2_4","volume-title":"Formal Techniques for Networked and Distributed Systems \u2013 FORTE 2007","author":"S.S. Batth","year":"2007","unstructured":"Batth, S.S., Rodrigues Vieira, E., Cavalli, A., Uyar, M.\u00dc.: Specification of timed EFSM fault models in SDL. In: Derrick, J., Vain, J. (eds.) FORTE 2007. LNCS, vol.\u00a04574, pp. 50\u201365. Springer, Heidelberg (2007)"},{"issue":"2","key":"8_CR3","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1016\/j.comnet.2004.09.009","volume":"48","author":"E. Bayse","year":"2005","unstructured":"Bayse, E., Cavalli, A., N\u00fa\u00f1ez, M., Za\u00efdi, F.: A passive testing approach based on invariants: Application to the WAP. Computer Networks\u00a048(2), 247\u2013266 (2005)","journal-title":"Computer Networks"},{"key":"8_CR4","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.\u00dc.: 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":"8_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1007\/11576280_19","volume-title":"Formal Methods and Software Engineering","author":"L. Brand\u00e1n Briones","year":"2005","unstructured":"Brand\u00e1n Briones, L., Brinksma, E.: Testing real-time multi input-output systems. In: Lau, K.-K., Banach, R. (eds.) ICFEM 2005. LNCS, vol.\u00a03785, pp. 264\u2013279. Springer, Heidelberg (2005)"},{"key":"8_CR6","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)"},{"issue":"5","key":"8_CR7","doi-asserted-by":"publisher","first-page":"350","DOI":"10.1007\/s001650070009","volume":"12","author":"R. Cardell-Oliver","year":"2000","unstructured":"Cardell-Oliver, R.: Conformance tests for real-time systems with timed automata specifications. Formal Aspects of Computing\u00a012(5), 350\u2013371 (2000)","journal-title":"Formal Aspects of Computing"},{"key":"8_CR8","volume-title":"Model Checking","author":"E.M. Clarke","year":"2000","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (2000)"},{"key":"8_CR9","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":"8_CR10","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":"8_CR11","first-page":"197","volume-title":"12th Int. Workshop on Testing of Communicating Systems, IWTCS 1999","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 Int. Workshop on Testing of Communicating Systems, IWTCS 1999, pp. 197\u2013214. Kluwer Academic Publishers, Dordrecht (1999)"},{"key":"8_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1007\/11562948_13","volume-title":"Automated Technology for Verification and Analysis","author":"G.-D. Huang","year":"2005","unstructured":"Huang, G.-D., Wang, F.: Automatic test case generation with region-related coverage annotations for real-time systems. In: Peled, D.A., Tsay, Y.-K. (eds.) ATVA 2005. LNCS, vol.\u00a03707, pp. 144\u2013158. Springer, Heidelberg (2005)"},{"key":"8_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/11430230_15","volume-title":"Testing of Communicating Systems","author":"M. Krichen","year":"2005","unstructured":"Krichen, M., Tripakis, S.: An expressive and implementable formal framework for testing real-time systems. In: Khendek, F., Dssouli, R. (eds.) TestCom 2005. LNCS, vol.\u00a03502, pp. 209\u2013225. Springer, Heidelberg (2005)"},{"key":"8_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/11430230_2","volume-title":"Testing of Communicating Systems","author":"B.T. Ladani","year":"2005","unstructured":"Ladani, B.T., Alcalde, B., Cavalli, A.R.: Passive testing - a constrained invariant checking approach. In: Khendek, F., Dssouli, R. (eds.) TestCom 2005. LNCS, vol.\u00a03502, pp. 9\u201322. Springer, Heidelberg (2005)"},{"issue":"8","key":"8_CR15","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":"8_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"501","DOI":"10.1007\/978-3-540-75596-8_35","volume-title":"Automated Technology for Verification and Analysis","author":"M.G. Merayo","year":"2007","unstructured":"Merayo, M.G., N\u00fa\u00f1ez, M., Rodr\u00edguez, I.: A brief introduction to \n                    \n                      \n                    \n                    $\\mathcal{THOTL}$\n                  . In: Namjoshi, K.S., Yoneda, T., Higashino, T., Okamura, Y. (eds.) ATVA 2007. LNCS, vol.\u00a04762, pp. 501\u2013510. Springer, Heidelberg (2007)"},{"issue":"2","key":"8_CR17","doi-asserted-by":"publisher","first-page":"432","DOI":"10.1016\/j.comnet.2007.10.002","volume":"52","author":"M.G. Merayo","year":"2008","unstructured":"Merayo, M.G., N\u00fa\u00f1ez, M., Rodr\u00edguez, I.: Formal testing from timed finite state machines. Computer Networks\u00a052(2), 432\u2013460 (2008)","journal-title":"Computer Networks"},{"key":"8_CR18","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":"8_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., Dermot, M. (eds.) MOVEP 2000. LNCS, vol.\u00a02067, pp. 196\u2013205. Springer, Heidelberg (2001)"},{"key":"8_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/11754008_3","volume-title":"Testing of Communicating Systems","author":"I. Rodr\u00edguez","year":"2006","unstructured":"Rodr\u00edguez, I., Merayo, M.G., N\u00fa\u00f1ez, M.: A logic for assessing sets of heterogeneous testing hypotheses. In: Uyar, M.\u00dc., Duale, A.Y., Fecko, M.A. (eds.) TestCom 2006. LNCS, vol.\u00a03964, pp. 39\u201354. Springer, Heidelberg (2006)"},{"issue":"2","key":"8_CR21","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/j.jlap.2007.03.002","volume":"74","author":"I. Rodr\u00edguez","year":"2008","unstructured":"Rodr\u00edguez, I., Merayo, M.G., N\u00fa\u00f1ez, M.: \n                    \n                      \n                    \n                    $\\mathcal{HOTL}$\n                  : Hypotheses and observations testing logic. Journal of Logic and Algebraic Programming\u00a074(2), 57\u201393 (2008)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"#cr-split#-8_CR22.1","doi-asserted-by":"crossref","unstructured":"Springintveld, J., Vaandrager, F., D\u2019Argenio, P.R.: Testing timed automata. Theoretical Computer Science 254(1-2), 225\u2013257 (2001);","DOI":"10.1016\/S0304-3975(99)00134-6"},{"key":"#cr-split#-8_CR22.2","unstructured":"Previously appeared as Technical Report\u00a0CTIT-97-17, University of Twente (1997)"}],"container-title":["Lecture Notes in Computer Science","Testing of Software and Communicating Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68524-1_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,2]],"date-time":"2019-03-02T08:18:22Z","timestamp":1551514702000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68524-1_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540685142","9783540685241"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68524-1_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}