{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:23:08Z","timestamp":1725560588374},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540213772"},{"type":"electronic","value":"9783540247562"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24756-2_21","type":"book-chapter","created":{"date-parts":[[2010,7,28]],"date-time":"2010-07-28T00:18:31Z","timestamp":1280276311000},"page":"382-401","source":"Crossref","is-referenced-by-count":1,"title":["A Many-Valued Logic with Imperative Semantics for Incremental Specification of Timed Models"],"prefix":"10.1007","author":[{"given":"Ana Fern\u00e1ndez","family":"Vilas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9 J. Pazos","family":"Arias","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rebeca P. D\u00edaz","family":"Redondo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto Gil","family":"Solla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jorge Garc\u00eda","family":"Duque","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"21_CR1","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/s100090050006","volume":"1","author":"K.G. Larsen","year":"1997","unstructured":"Larsen, K.G., Steffen, B., Weise, C.: Continuous Modeling of Real-Time and Hybrid Systems: From Concepts to Tools. Intl. Journal on Software Tools for Technology Transfer\u00a01, 64\u201385 (1997)","journal-title":"Intl. Journal on Software Tools for Technology Transfer"},{"key":"21_CR2","unstructured":"Alur, R.: Techniques for Automatic Verification of Real-Time Systems. PhD thesis, Dept. of Computer Science, Stanford University (1991)"},{"key":"21_CR3","first-page":"147","volume-title":"22nd Intl. Conference on Software Engineering (ICSE 2000)","author":"A. Lamsweerde van","year":"2000","unstructured":"van Lamsweerde, A.: Formal Specification: a Roadmap. In: 22nd Intl. Conference on Software Engineering (ICSE 2000), pp. 147\u2013159. ACM Press, New York (2000)"},{"key":"21_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1007\/3-540-44685-0_30","volume-title":"CONCUR 2001 - Concurrency Theory","author":"M. Chechik","year":"2001","unstructured":"Chechik, M., Devereux, B., Easterbrook, S.M., Lai, A., Petrovykh, V.: Efficient Multiple-Valued Model-Checking Using Lattice Representations. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol.\u00a02154, pp. 441\u2013455. Springer, Heidelberg (2001)"},{"key":"21_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1007\/BFb0031988","volume-title":"Real-Time: Theory in Practice","author":"R. Alur","year":"1992","unstructured":"Alur, R., Henzinger, T.A.: Logics and Models of Real Time: A Survey. In: Huizing, C., de Bakker, J.W., Rozenberg, G., de Roever, W.-P. (eds.) REX 1991. LNCS, vol.\u00a0600, pp. 74\u2013106. Springer, Heidelberg (1992)"},{"key":"21_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/3-540-45739-9_13","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"A. Fern\u00e1ndez Vilas","year":"2002","unstructured":"Fern\u00e1ndez Vilas, A., Pazos Arias, J.J., D\u00edaz Redondo, R.P.: Extending Timed Automaton and Real-time Logic to Many-valued Reasoning. In: Damm, W., Olderog, E.-R. (eds.) FTRTFT 2002. LNCS, vol.\u00a02469, pp. 185\u2013204. Springer, Heidelberg (2002)"},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"Fern\u00e1ndez Vilas, A., Pazos Arias, J.J., Gil Solla, A., D\u00edaz Redondo, R.P., Garc\u00eda Duque, J., Barrag\u00e1ns Mart\u00ednez, A.B.: Incremental Specification with SCTL\/MUST: a Case Study. The Journal of Systems & Software\u00a071(2) (2004) (to appear)","DOI":"10.1016\/S0164-1212(03)00067-0"},{"key":"21_CR8","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, 2\u201334 (1993)","journal-title":"Information and Computation"},{"key":"21_CR9","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/PL00003939","volume":"13","author":"J.J. Pazos Arias","year":"2001","unstructured":"Pazos Arias, J.J., Garc\u00eda Duque, J.: SCTL-MUS: A Formal Methodology for Software Development of Distributed Systems. A Case Study, Formal Aspects of Computing\u00a013, 50\u201391 (2001)","journal-title":"A Case Study, Formal Aspects of Computing"},{"key":"21_CR10","doi-asserted-by":"publisher","first-page":"533","DOI":"10.1007\/BF01211631","volume":"7","author":"H. Barringer","year":"1995","unstructured":"Barringer, H., Fisher, M., Gabbay, D., Gough, G., Owens, R.: METATEM: An Introduction. Formal Aspects of Computing\u00a07, 533\u2013549 (1995)","journal-title":"Formal Aspects of Computing"},{"key":"21_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/3-540-58976-7_5","volume-title":"Executable Modal and Temporal Logics","author":"S. Merz","year":"1995","unstructured":"Merz, S.: Efficiently Executable Temporal Logic Programs. In: Fisher, M., Owens, R. (eds.) IJCAI-WS 1993. LNCS, vol.\u00a0897, pp. 69\u201385. Springer, Heidelberg (1995)"},{"key":"21_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"529","DOI":"10.1007\/3-540-60246-1_158","volume-title":"Mathematical Foundations of Computer Science 1995","author":"F. Laroussinie","year":"1995","unstructured":"Laroussinie, F., Larsen, K.G., Weise, C.: From Timed Automata to Logic - And Back. In: H\u00e1jek, P., Wiedermann, J. (eds.) MFCS 1995. LNCS, vol.\u00a0969, pp. 529\u2013539. Springer, Heidelberg (1995)"},{"key":"21_CR13","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1023\/A:1008734703554","volume":"18","author":"S. Tripakis","year":"2001","unstructured":"Tripakis, S., Yovine, S.: Analysis of Timed Systems using Time-abstracting Bisimulations. Formal Methods in System Design\u00a018, 25\u201368 (2001)","journal-title":"Formal Methods in System Design"},{"key":"21_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1007\/3-540-56922-7_21","volume-title":"Computer Aided Verification","author":"K. Cerans","year":"1993","unstructured":"Cerans, K., Godskesen, J.C., Larsen, K.G.: Timed Modal Specifications \u2013 Theory and Tools. In: Courcoubetis, C. (ed.) CAV 1993. LNCS, vol.\u00a0697, pp. 253\u2013267. Springer, Heidelberg (1993)"},{"key":"21_CR15","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1142\/S0129054102000935","volume":"13","author":"D. Harel","year":"2002","unstructured":"Harel, D., Kugler, H.: Synthesizing Sate-based Object Systems from LSC Specifications. Intl. Journal of Foundations of Computer Science\u00a013, 5\u201351 (2002)","journal-title":"Intl. Journal of Foundations of Computer Science"},{"key":"21_CR16","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1109\/MASCOT.2002.1167077","volume-title":"10th Intl. Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 2002)","author":"D. Harel","year":"2002","unstructured":"Harel, D., Marelly, R.: Playing with Time: On the Specification and Execution of Time-Enriched LSCs. In: 10th Intl. Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 2002), pp. 193\u2013202. IEEE Computer Society Press, Los Alamitos (2002)"},{"key":"21_CR17","series-title":"Lecture Notes in Computer Science","volume-title":"Executable Modal and Temporal Logics","year":"1995","unstructured":"Fisher, M., Owens, R. (eds.): IJCAI-WS 1993. LNCS, vol.\u00a0897. Springer, Heidelberg (1995)"},{"key":"21_CR18","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1023\/A:1015346419267","volume":"23","author":"K. Altisen","year":"2002","unstructured":"Altisen, K., Goessler, G., Sifakis, J.: Scheduler Modeling Based on the Controller Synthesis Paradigm. Real-Time Systems\u00a023, 55\u201384 (2002)","journal-title":"Real-Time Systems"},{"key":"21_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1007\/3-540-48683-6_25","volume-title":"Computer Aided Verification","author":"G. Bruns","year":"1999","unstructured":"Bruns, G., Godefroid, P.: Model Checking Partial State Spaces with 3-valued Temporal Logics. In: Halbwachs, N., Peled, D.A. (eds.) CAV 1999. LNCS, vol.\u00a01633, pp. 274\u2013287. Springer, Heidelberg (1999)"},{"key":"21_CR20","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1007\/978-3-7908-1769-0_8","volume-title":"Beyond Two: Theory and Applications of Multiple-valued Logic","author":"B. Konikowska","year":"2003","unstructured":"Konikowska, B., Penczek, W.: Model Checking for Multi-Valued CTL*. In: Beyond Two: Theory and Applications of Multiple-valued Logic, pp. 193\u2013210. Springer, Heidelberg (2003)"},{"key":"21_CR21","doi-asserted-by":"crossref","first-page":"1089","DOI":"10.1109\/32.738341","volume":"24","author":"A. Lamsweerde van","year":"1998","unstructured":"van Lamsweerde, A., Willemet, L.: Inferring Declarative Requirements Specifications from Operational Scenarios. IEEE Transactions on Software Engineering, Special Issue on Scenario Management\u00a024, 1089\u20131114 (1998)","journal-title":"IEEE Transactions on Software Engineering, Special Issue on Scenario Management"},{"key":"21_CR22","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1145\/237432.237438","volume":"6","author":"L.E. Moser","year":"1997","unstructured":"Moser, L.E., Ramakrishna, Y.S., Kutty, G., Melliar Smith, P.M., Dillon, L.K.: A Graphical Environment for Design of Concurrent Real-Time Systems. ACM Transactions on Software Engineering and Methodology\u00a06, 31\u201379 (1997)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"21_CR23","first-page":"39","volume-title":"26th Annual Intl. Conference on Computer Software and Applications (COMPSAC 2002)","author":"A.B. Barrag\u00e1ns Mart\u00ednez","year":"2002","unstructured":"Barrag\u00e1ns Mart\u00ednez, A.B., Garc\u00eda Duque, J., Pazos Arias, J.J., Fern\u00e1ndez Vilas, A., D\u00edaz Redondo, R.P.: Requirements Specification Evolution in a Multi-Perspective Environment. In: 26th Annual Intl. Conference on Computer Software and Applications (COMPSAC 2002), pp. 39\u201344. IEEE Computer Society Press, Los Alamitos (2002)"}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24756-2_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T19:33:20Z","timestamp":1559331200000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24756-2_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540213772","9783540247562"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24756-2_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}