{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T14:30:14Z","timestamp":1725719414308},"publisher-location":"Dordrecht","reference-count":18,"publisher":"Springer Netherlands","isbn-type":[{"type":"print","value":"9789048160594"},{"type":"electronic","value":"9789401707954"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/978-94-017-0795-4_26","type":"book-chapter","created":{"date-parts":[[2013,3,12]],"date-time":"2013-03-12T13:39:12Z","timestamp":1363095552000},"page":"547-570","source":"Crossref","is-referenced-by-count":1,"title":["Requirements Specification and Automated Evaluation of Dynamic Properties of a Component-Based Design"],"prefix":"10.1007","author":[{"given":"Catholijn M.","family":"Jonker","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Treur","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wouter C. A.","family":"Wijngaards","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"26_CR1","first-page":"174","volume-title":"Design verification via simulation and automatic test pattern generation, International Conference on Computer-Aided Design","author":"H Al-Asaad","year":"1995","unstructured":"Al-Asaad, H and Hayes, JP: 1995, Design verification via simulation and automatic test pattern generation, International Conference on Computer-Aided Design, IEEE Society Press, Los Alamitos, CA, pp. 174\u2013180."},{"key":"26_CR2","unstructured":"Barringer, H, Fisher, M, Gabbay, D, Owens, R and. Reynolds, M: 1996, The Imperative Future: Principles of Executable Temporal Logic,Research Studies Press Ltd. and John Wiley and Sons."},{"key":"26_CR3","doi-asserted-by":"crossref","first-page":"306","DOI":"10.1007\/3-540-61648-9_48","volume-title":"Model checking for extended timed temporal logic, Proceedings of the 4th International Symposium Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT96","author":"A Bouajjani","year":"1996","unstructured":"Bouajjani, A, Lakhnech, Y and Yovine, S: 1996, Model checking for extended timed temporal logic, Proceedings of the 4th International Symposium Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT\u201996, Springer-Verlag, Berlin, pp. 306\u2013326."},{"key":"26_CR4","unstructured":"Brazier, FMT, Jonker, CM and Treur, J: 1998, Principles of compositional multi-agent system development, in J Cuena (ed.), Proceedings of the 15th IFIP World Computer Congress, WCC\u201998, Conference on Information Technology and Knowledge Systems, 1TandKNOWS\u201998, pp. 347\u2013360. To be published by IOS Press, 2002."},{"key":"26_CR5","volume-title":"Model Checking, MIT Press","author":"EM Clarke","year":"2000","unstructured":"Clarke, EM, Grumberg, O and Peled, DA: 2000, Model Checking, MIT Press, Cambridge, MA."},{"key":"26_CR6","volume-title":"Proceedings of the 2nd International Workshop on Agent-Oriented Software Engineering, AOSE\u201901","author":"M Dastani","year":"2222","unstructured":"Dastani, M, Jonker, CM and Treur, J: To appear, A requirement specification language for configuration dynamics of multi-agent systems, in M Wooldridge, G Weiss and P Ciancarini, (eds), Proceedings of the 2nd International Workshop on Agent-Oriented Software Engineering, AOSE\u201901. Lecture Notes in Computer Science, vol. 2222. Springer Verlag."},{"key":"26_CR7","first-page":"480","volume-title":"Temporal Logic \u2014 Proceedings of the First International Conference, Lecture Notes in AI","author":"M Fisher","year":"1994","unstructured":"Fisher, M: 1994, A survey of concurrent METATEM\u2013the language and its applications, in DM Gabbay and HJ Ohlbach (eds), Temporal Logic \u2014 Proceedings of the First International Conference, Lecture Notes in AI, vol. 827, pp. 480\u2013505."},{"issue":"2","key":"26_CR8","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1006\/inco.1994.1045","volume":"111","author":"T Henzinger","year":"1994","unstructured":"Henzinger, T, Nicollin, X, Sifakis, J and Yovine, S: 1994, Symbolic model checking for real-time systems, Information and Computation\n                111 (2): 193\u2013244.","journal-title":"Information and Computation"},{"key":"26_CR9","first-page":"8","volume-title":"Multi-Agent System Engineering, Proceedings of the 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW99. Lecture Notes in Al","author":"DE Herlea","year":"1999","unstructured":"Herlea, DE, Jonker, CM, Treur, J and Wijngaards, NJE: 1999, Specification of behavioural requirements within compositional multi-agent system design, in FJ Garijo and M Boman (eds), Multi-Agent System Engineering, Proceedings of the 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW\u201999. Lecture Notes in Al, vol. 1647, Springer Verlag, Berlin, pp. 8\u201327."},{"key":"26_CR10","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/BF03037518","volume":"8","author":"S H\u00f6lldobler","year":"1990","unstructured":"H\u00f6lldobler, S and Thielscher, M: 1990, A new deductive approach to planning, New Generation Computing 8: 225\u2013244.","journal-title":"New Generation Computing"},{"key":"26_CR11","unstructured":"Jonker,-CM and Treur, I: 1998, Compositional verification of multi-agent systems: a formal analysis of pro-activeness and reactiveness, in W.P. de Roever, H. Langmaack, A. Pnueli (eds), Proceedings of the International Workshop on Compositionality, COMPOS\u201997. Lecture Notes in Computer Science, vol. 1536, Springer Verlag, Berlin, pp. 350\u2013380, Extended version in International Journal of Cooperative Information Systems. In press, 2002."},{"key":"26_CR12","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R Kowalski","year":"1986","unstructured":"Kowalski, R and Sergot, M: 1986, A logic-based calculus of events, New Generation Computing\n                4: 67\u201395.","journal-title":"New Generation Computing"},{"key":"26_CR13","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4222-2","volume-title":"Temporal Verification of Reactive Systems: Safety","author":"Z Manna","year":"1995","unstructured":"Manna, Z and Pnueli, A: 1995, Temporal Verification of Reactive Systems: Safety. Springer Verlag, Berlin."},{"key":"26_CR14","first-page":"463","volume":"4","author":"J Mccarthy","year":"1969","unstructured":"McCarthy, J and Hayes, P: 1969, Some philosophical problems from the standpoint of artificial intelligence, Machine Intelligence\n                4: 463\u2013502.","journal-title":"Machine Intelligence"},{"key":"26_CR15","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4074.001.0001","volume-title":"Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems, MIT Press","author":"R Reiter","year":"2001","unstructured":"Reiter, R: 2001, Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems, MIT Press, Cambridge, MA."},{"volume-title":"Proceedings of the International Workshop on Compositionality, COMPOS97. Lecture Notes in Computer Science","year":"1998","key":"26_CR16","unstructured":"Roever, WP de, Langmaack, H and Pnueli, A, (eds): 1998, Proceedings of the International Workshop on Compositionality, COMPOS\u201997. Lecture Notes in Computer Science, vol. 1536, Springer Verlag, Berlin."},{"key":"26_CR17","doi-asserted-by":"crossref","unstructured":"Stirling, C: 2001, Modal and Temporal Properties of Processes, Springer Verlag, Berlin.","DOI":"10.1007\/978-1-4757-3550-5"},{"key":"26_CR18","doi-asserted-by":"crossref","unstructured":"Yovine, S: 1997, Kronos: A verification tool for real-time systems, International Journal of Software Tools for Technology Transfer\n                1: 123\u2013133.","DOI":"10.1007\/s100090050009"}],"container-title":["Artificial Intelligence in Design \u201902"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-94-017-0795-4_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,11]],"date-time":"2019-05-11T14:24:18Z","timestamp":1557584658000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-94-017-0795-4_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9789048160594","9789401707954"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-94-017-0795-4_26","relation":{},"subject":[],"published":{"date-parts":[[2002]]}}}