{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,16]],"date-time":"2026-01-16T10:40:21Z","timestamp":1768560021396,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540287407","type":"print"},{"value":"9783540287414","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11550648_15","type":"book-chapter","created":{"date-parts":[[2005,11,12]],"date-time":"2005-11-12T23:54:39Z","timestamp":1131839679000},"page":"165-178","source":"Crossref","is-referenced-by-count":11,"title":["LEADSTO: A Language and Environment for Analysis of Dynamics by SimulaTiOn"],"prefix":"10.1007","author":[{"given":"Tibor","family":"Bosse","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Catholijn M.","family":"Jonker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lourens","family":"van der Meij","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Treur","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","unstructured":"Barringer, H., Fisher, M., Gabbay, D., Owens, R., Reynolds, M.: The Imperative Future: Principles of Executable Temporal Logic. Research Studies Press Ltd.\/John Wiley & Sons, Chichester (1996)"},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"Bosse, T., Jonker, C.M., Los, S.A., van der Torre, L., Treur, J.: Formalisation and Analysis of the Temporal Dynamics of Conditioning. In: M\u00fcller, J.P., Zambonelli, F. (eds.) AOSE 2005. LNCS, vol.\u00a03950, pp. 54\u201368. Springer, Heidelberg (2006)","DOI":"10.1007\/11752660_5"},{"key":"15_CR3","unstructured":"Bosse, T., Jonker, C.M., Schut, M.C., Treur, J.: Simulation and Analysis of Shared Extended Mind. In: Davidsson, P., Gasser, L., Logan, B., Takadama, K. (eds.) Proc. of the First Joint Workshop on Multi-Agent and Multi-Agent-Based Simulation, MAMABS 2004, pp. 191\u2013200 (2004)"},{"key":"15_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1007\/3-540-63010-4_8","volume-title":"Transformation-Based Reactive Systems Development","author":"H. Dierks","year":"1997","unstructured":"Dierks, H.: PLC-automata: A new class of implementable real-time automata. In: Rus, T., Bertr\u00e1n, M. (eds.) AMAST-ARTS 1997, ARTS 1997, and AMAST-WS 1997. LNCS, vol.\u00a01231, pp. 111\u2013125. Springer, Heidelberg (1997)"},{"issue":"1-3","key":"15_CR5","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0004-3702(84)90038-9","volume":"24","author":"K.D. Forbus","year":"1984","unstructured":"Forbus, K.D.: Qualitative process theory. Artificial Intelligence\u00a024(1-3), 85\u2013168 (1984)","journal-title":"Artificial Intelligence"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"Meyer, J.J.C., Treur, J. (eds.): Agent-based Defeasible Control in Dynamic Environments. Gabbay, D., Smets, P. (series eds.) Series in Defeasible Reasoning and Uncertainty Management Systems, vol.\u00a07. Kluwer Academic Publishers, Dordrecht (2002)","DOI":"10.1007\/978-94-017-1741-0"},{"key":"15_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1007\/3-540-12896-4_374","volume-title":"Logics of Programs","author":"B. Moszkowski","year":"1984","unstructured":"Moszkowski, B., Manna, Z.: Reasoning in Interval Temporal Logic. In: Clarke, E., Kozen, D. (eds.) Logic of Programs 1983. LNCS, vol.\u00a0164, pp. 371\u2013382. Springer, Heidelberg (1984)"},{"key":"15_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"559","DOI":"10.1007\/3-540-45319-9_38","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"P.K. Pandya","year":"2001","unstructured":"Pandya, P.K.: Model checking CTL[DC]. In: Margaria, T., Yi, W. (eds.) TACAS 2001. LNCS, vol.\u00a02031, p. 559. Springer, Heidelberg (2001)"},{"key":"15_CR9","volume-title":"Mind as Motion: Explorations in the Dynamics of Cognition","year":"1995","unstructured":"Port, R.F., van Gelder, T. (eds.): Mind as Motion: Explorations in the Dynamics of Cognition. MIT Press, Cambridge (1995)"},{"key":"15_CR10","unstructured":"van Vliet, H.: Software Engineering: Principles and Practice. John Wiley & Sons, Ltd, Chichester (2000)"},{"issue":"5","key":"15_CR11","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1016\/0020-0190(91)90122-X","volume":"40","author":"C. Zhou","year":"1991","unstructured":"Zhou, C., Hoare, C.A.R., Ravn, A.P.: A Calculus of Durations. Information Processing Letter\u00a040(5), 269\u2013276 (1991)","journal-title":"Information Processing Letter"}],"container-title":["Lecture Notes in Computer Science","Multiagent System Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11550648_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,16]],"date-time":"2019-03-16T13:43:40Z","timestamp":1552743820000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11550648_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540287407","9783540287414"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/11550648_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}