{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T14:11:59Z","timestamp":1725804719471},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319119571"},{"type":"electronic","value":"9783319119588"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11958-8_8","type":"book-chapter","created":{"date-parts":[[2014,9,11]],"date-time":"2014-09-11T11:24:40Z","timestamp":1410434680000},"page":"94-109","source":"Crossref","is-referenced-by-count":5,"title":["Timed Automata with Action Durations \u2013 From Theory to Implementation"],"prefix":"10.1007","author":[{"given":"Souad","family":"Guellati","sequence":"first","affiliation":[]},{"given":"Ilham","family":"Kitouni","sequence":"additional","affiliation":[]},{"given":"Riadh","family":"Matmat","sequence":"additional","affiliation":[]},{"given":"Djamel-Eddine","family":"Saidouni","sequence":"additional","affiliation":[]}],"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":"1999","unstructured":"Alur, R.: Timed Automata. Theoretical Computer Science\u00a0126, 183\u2013235 (1999)","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"8_CR2","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1006\/inco.1993.1024","volume":"104","author":"R. Alur","year":"1993","unstructured":"Alur, R., Courcoubetis, C., Dill, D.: Model-Checking in Dense Real- Time. Information and Computation\u00a0104(1), 2\u201334 (1993)","journal-title":"Information and Computation"},{"issue":"2","key":"8_CR3","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"Rajeev Alur","year":"1994","unstructured":"Alur, R., Dill, D.: A theory of timed automata. Theoretical Computer Science, 183\u2013235 (1994)","journal-title":"Theoretical Computer Science"},{"issue":"3-4","key":"8_CR4","first-page":"189","volume":"47","author":"R. Barbuti","year":"2001","unstructured":"Barbuti, R., De Francesco, N., Tesei, L.: Timed Automata with non-instantaneous Actions. Fundamenta Informaticae-Concurrency Specification and Programming\u00a047(3-4), 189\u2013200 (2001)","journal-title":"Fundamenta Informaticae-Concurrency Specification and Programming"},{"issue":"2","key":"8_CR5","doi-asserted-by":"publisher","first-page":"62","DOI":"10.4018\/jertcs.2013040104","volume":"4","author":"N. Belala","year":"2013","unstructured":"Belala, N., Saidouni, D.E., Boukharrou, R., Chaouche, A.C., Seraoui, A., Chachoua, A.: Time Petri Nets with Action Duration: A True Concurrency Real-Time Model. International Journal of Embedded and Real-Time Communication Systems (IJERTCS)\u00a04(2), 62\u201383 (2013)","journal-title":"International Journal of Embedded and Real-Time Communication Systems (IJERTCS)"},{"key":"8_CR6","unstructured":"Bengtsson, J.: Clocks, DBMs ans States in Timed Systems. Ph.D. thesis, Department of Information Technology, Uppsala University, Uppsala, Sweden (2002)"},{"issue":"10","key":"8_CR7","doi-asserted-by":"publisher","first-page":"812","DOI":"10.1109\/TSE.2006.104","volume":"32","author":"H. Bohnenkamp","year":"2006","unstructured":"Bohnenkamp, H., D\u2019Argenio, P.R., Hermanns, H., Katoen, J.P.: MODEST: A compositional modeling formalism for hard and softly timed systems. IEEE Transactions on Software Engineering\u00a032(10), 812\u2013830 (2006)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"8_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/3-540-64358-3_31","volume-title":"Hybrid Systems: Computation and Control","author":"S. Bornot","year":"1998","unstructured":"Bornot, S., Sifakis, J.: On the composition of hybrid systems. In: Henzinger, T.A., Sastry, S.S. (eds.) HSCC 1998. LNCS, vol.\u00a01386, pp. 49\u201363. Springer, Heidelberg (1998)"},{"key":"8_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/3-540-49213-5_5","volume-title":"Compositionality: The Significant Difference","author":"S. Bornot","year":"1998","unstructured":"Bornot, S., Sifakis, J., Tripakis, S.: Modeling Urgency in Timed Systems. In: de Roever, W.-P., Langmaack, H., Pnueli, A. (eds.) COMPOS 1997. LNCS, vol.\u00a01536, pp. 103\u2013129. Springer, Heidelberg (1998)"},{"key":"8_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"620","DOI":"10.1007\/3-540-36494-3_54","volume-title":"STACS 2003","author":"P. Bouyer","year":"2003","unstructured":"Bouyer, P.: Untameable timed automata! In: Alt, H., Habib, M. (eds.) STACS 2003. LNCS, vol.\u00a02607, pp. 620\u2013631. Springer, Heidelberg (2003)"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Bowman, H.: Time and action lock freedom properties for timed automata. In: Proceedings of FORTE 2001, pp. 119\u2013134 (2001)","DOI":"10.1007\/0-306-47003-9_8"},{"key":"8_CR12","unstructured":"Bowman, H., Gomez, R.: Concurrency Theory, Calculi and Automata for Modelling Untimed and Timed Concurrent Systems. Springer (2006) ISBN-10: 1-85233-895-4 ISBN-13: 978-1-85233-895-4"},{"key":"8_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/978-3-540-30080-9_8","volume-title":"Formal Methods for the Design of Real-Time Systems","author":"M. Bozga","year":"2004","unstructured":"Bozga, M., Graf, S., Ober, I., Ober, I., Sifakis, J.: The IF toolset. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol.\u00a03185, pp. 237\u2013267. Springer, Heidelberg (2004)"},{"key":"8_CR14","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press (2000)"},{"key":"8_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/978-3-540-75454-1_10","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"H. Dierks","year":"2007","unstructured":"Dierks, H., Kupferschmid, S., Larsen, K.G.: Automatic abstraction refinement for timed automata. In: Raskin, J.-F., Thiagarajan, P.S. (eds.) FORMATS 2007. LNCS, vol.\u00a04763, pp. 114\u2013129. Springer, Heidelberg (2007)"},{"key":"8_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/3-540-52148-8_17","volume-title":"Automatic Verification Methods for Finite State Systems","author":"D.L. Dill","year":"1990","unstructured":"Dill, D.L.: Timing assumptions and verification of finite-state concurrent systems. In: Sifakis, J. (ed.) CAV 1989. LNCS, vol.\u00a0407, pp. 197\u2013212. Springer, Heidelberg (1990)"},{"issue":"6","key":"8_CR17","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1145\/367766.368168","volume":"5","author":"R.W. Floyd","year":"1962","unstructured":"Floyd, R.W.: Algorithm 97: Shortest path. Communications of the ACM\u00a05(6), 345 (1962)","journal-title":"Communications of the ACM"},{"issue":"2","key":"8_CR18","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/s00165-011-0185-4","volume":"25","author":"R. Gomez","year":"2013","unstructured":"Gomez, R.: Model-checking timed automata with deadlines with Uppaal. Formal Aspects of Computing\u00a025(2), 289\u2013318 (2013)","journal-title":"Formal Aspects of Computing"},{"issue":"11","key":"8_CR19","doi-asserted-by":"publisher","first-page":"33","DOI":"10.5120\/8938-3077","volume":"56","author":"S. Guellati","year":"2012","unstructured":"Guellati, S., Kitouni, I., Saidouni, D.E.: Verification of durational actions timed automata using UPPAAL. International Journal of Computer Applications\u00a056(11), 33\u201341 (2012)","journal-title":"International Journal of Computer Applications"},{"issue":"2","key":"8_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.5120\/ijais12-450609","volume":"4","author":"I. Kitouni","year":"2012","unstructured":"Kitouni, I., Hachichi, H., Bouaroudj, K., Saidouni, D.E.: Durational Actions Timed Automata: Determinization and Expressiveness. International Journal of Applied Information Systems (IJAIS)\u00a04(2), 1\u201311 (2012)","journal-title":"International Journal of Applied Information Systems (IJAIS)"},{"issue":"1-2","key":"8_CR21","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"K.G. Larsen","year":"1997","unstructured":"Larsen, K.G., Pettersson, P., Yi, W.: UPPAAL in a nutshell. International Journal on Software Tools for Technology Transfer\u00a01(1-2), 134\u2013152 (1997)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"issue":"5","key":"8_CR22","doi-asserted-by":"crossref","first-page":"994","DOI":"10.1587\/transinf.E93.D.994","volume":"E93-D","author":"Takeshi NAGAOKA","year":"2010","unstructured":"Nagaoka, T., Okano, K., Kusumoto, S.: An abstraction refinement technique for timed automata based on counterexample-guided abstraction refinement loop. IEICE Transactions on Information and Systems\u00a0E93-D5(5), 994\u20131005, 5 (2010)","journal-title":"IEICE Transactions on Information and Systems"},{"key":"8_CR23","unstructured":"Pettersson, P.: Modelling and Verification of Real-Time Systems Using Timed Automata. Theory and Practice. PhD thesis, Uppsala University (1999)"},{"key":"8_CR24","unstructured":"Saidouni, D.E., Belala, N.: Actions duration in timed models. In: Proceedings of International Arab Conference on Information Technology (ACIT 2006), Yarmouk University, Irbid, Jordan (2006)"},{"key":"8_CR25","doi-asserted-by":"crossref","unstructured":"Saidouni, D.E., Belala, N., Bouneb, M.: Aggregation of transitions in marking graph generation based on maximality semantics for petri nets. In: Proceeding of the Second international conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2008), pp. 6\u201316 (2008)","DOI":"10.14236\/ewic\/VECOS2008.1"},{"issue":"1-2","key":"8_CR26","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/s100090050009","volume":"1","author":"S. Yovine","year":"1997","unstructured":"Yovine, S.: Kronos: A verification tool for real-time systems. International Journal on Software Tools for Technology Transfer\u00a01(1-2), 123\u2013133 (1997)","journal-title":"International Journal on Software Tools for Technology Transfer"}],"container-title":["Communications in Computer and Information Science","Information and Software Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11958-8_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,24]],"date-time":"2020-08-24T08:36:24Z","timestamp":1598258184000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-11958-8_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319119571","9783319119588"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11958-8_8","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2014]]}}}