{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:48:18Z","timestamp":1725540498923},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642103728"},{"type":"electronic","value":"9783642103735"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-10373-5_11","type":"book-chapter","created":{"date-parts":[[2009,11,16]],"date-time":"2009-11-16T06:45:27Z","timestamp":1258353927000},"page":"206-225","source":"Crossref","is-referenced-by-count":7,"title":["Qualitative Action Systems"],"prefix":"10.1007","author":[{"given":"Bernhard K.","family":"Aichernig","sequence":"first","affiliation":[]},{"given":"Harald","family":"Brandl","sequence":"additional","affiliation":[]},{"given":"Willibald","family":"Krenn","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","volume-title":"Qualitative Reasoning: Modeling and Simulation with Incomplete Knowledge","author":"B. Kuipers","year":"1994","unstructured":"Kuipers, B.: Qualitative Reasoning: Modeling and Simulation with Incomplete Knowledge. MIT Press, Cambridge (1994)"},{"key":"11_CR2","first-page":"131","volume-title":"Proceedings of the 2nd ACM SIGACT-SIGOPS Symp. on Principles of Distributed Computing","author":"R.J. Back","year":"1983","unstructured":"Back, R.J., Kurki-Suonio, R.: Decentralization of process nets with centralized control. In: Proceedings of the 2nd ACM SIGACT-SIGOPS Symp. on Principles of Distributed Computing, Montreal, Quebec, Canada, pp. 131\u2013142. ACM, New York (1983)"},{"key":"11_CR3","first-page":"17","volume":"12","author":"R.J. Back","year":"1991","unstructured":"Back, R.J., Sere, K.: Stepwise refinement of action systems. Structured Programming\u00a012, 17\u201330 (1991)","journal-title":"Structured Programming"},{"key":"11_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1007\/BFb0015020","volume-title":"CONCUR \u201994: Concurrency Theory","author":"R.J. Back","year":"1994","unstructured":"Back, R.J., von Wright, J.: Trace refinement of action systems. In: Jonsson, B., Parrow, J. (eds.) CONCUR 1994. LNCS, vol.\u00a0836, pp. 367\u2013384. Springer, Heidelberg (1994)"},{"key":"11_CR5","doi-asserted-by":"publisher","first-page":"937","DOI":"10.1016\/S0304-3975(02)00547-9","volume":"290","author":"M. R\u00f6nkk\u00f6","year":"2003","unstructured":"R\u00f6nkk\u00f6, M., Ravn, A.P., Sere, K.: Hybrid action systems. Theoretical Computer Science\u00a0290, 937\u2013973 (2003)","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"11_CR6","first-page":"2","volume":"8","author":"R.J. Back","year":"2001","unstructured":"Back, R.J., Petre, L., Porres, I.: Continuous action systems as a model for hybrid systems. Nordic Journal of Computing\u00a08(1), 2\u201321 (2001)","journal-title":"Nordic Journal of Computing"},{"key":"11_CR7","unstructured":"Schaefer, P.: Analytic solution of qualitative differential equations. In: Proceedings of the AAAI 1991 (1991)"},{"key":"11_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/3-540-48983-5_21","volume-title":"Hybrid Systems: Computation and Control","author":"M. R\u00f6nkk\u00f6","year":"1999","unstructured":"R\u00f6nkk\u00f6, M., Sere, K.: Refinement and continuous behaviour. In: Vaandrager, F.W., van Schuppen, J.H. (eds.) HSCC 1999. LNCS, vol.\u00a01569, pp. 223\u2013237. Springer, Heidelberg (1999)"},{"key":"11_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-1674-2","volume-title":"Refinement Calculus: A Systematic Introduction","author":"R.J.J. Back","year":"1998","unstructured":"Back, R.J.J., Akademi, A., Wright, J.V.: Refinement Calculus: A Systematic Introduction. Springer-Verlag New York, Inc., Secaucus (1998)"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Aichernig, B.K., Brandl, H., Wotawa, F.: Conformance testing of hybrid systems with qualitative reasoning models. In: Finkbeiner, B., Gurevich, Y., Petrenko, A.K. (eds.) Model-Based Testing, MBT 2009, pp. 45\u201359 (2009)","DOI":"10.1016\/j.entcs.2009.09.051"},{"key":"11_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-540-76650-6_10","volume-title":"Formal Methods and Software Engineering","author":"A. Cavalcanti","year":"2007","unstructured":"Cavalcanti, A., Gaudel, M.C.: Testing for refinement in CSP. In: Butler, M., Hinchey, M.G., Larrondo-Petrie, M.M. (eds.) ICFEM 2007. LNCS, vol.\u00a04789, pp. 151\u2013170. Springer, Heidelberg (2007)"},{"issue":"7","key":"11_CR12","doi-asserted-by":"publisher","first-page":"971","DOI":"10.1109\/5.871304","volume":"88","author":"A. Rajeev","year":"2000","unstructured":"Rajeev, A., Henzinger, T.A., Lafferriere, G., Pappas, G.J.: Discrete abstractions of hybrid systems. Proceedings of the IEEE\u00a088(7), 971\u2013983 (2000)","journal-title":"Proceedings of the IEEE"},{"key":"11_CR13","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/s10703-007-0044-3","volume":"32","author":"A. Tiwari","year":"2008","unstructured":"Tiwari, A.: Abstractions for hybrid systems. Formal Methods in Systems Design\u00a032, 57\u201383 (2008)","journal-title":"Formal Methods in Systems Design"},{"key":"11_CR14","unstructured":"Oleg, S., Hyoung Seok, H.: Qualitative modeling of hybrid systems. In: Proc. of the Montreal Workshop (2001)"},{"key":"11_CR15","first-page":"17","volume-title":"AST\u201908: Proceedings of the 3rd international workshop on automation of software test","author":"H. Brandl","year":"2008","unstructured":"Brandl, H., Fraser, G., Wotawa, F.: QR-model based testing. In: AST\u201908: Proceedings of the 3rd international workshop on automation of software test, pp. 17\u201320. ACM, New York (2008)"},{"key":"11_CR16","unstructured":"Brandl, H., Fraser, G., Wotawa, F.: Coverage-based testing using qualitative reasoning models. In: Proc. of SEKE 2008, Knowledge Systems Institute Graduate School, pp. 393\u2013398 (2008)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-10373-5_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T07:28:49Z","timestamp":1619767729000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-10373-5_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642103728","9783642103735"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-10373-5_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}