{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:05:10Z","timestamp":1725566710626},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540306443"},{"type":"electronic","value":"9783540316145"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11591962_4","type":"book-chapter","created":{"date-parts":[[2005,11,18]],"date-time":"2005-11-18T22:46:12Z","timestamp":1132353972000},"page":"59-81","source":"Crossref","is-referenced-by-count":3,"title":["Modular Verification of Reconfigurable Components"],"prefix":"10.1007","author":[{"given":"Aleksandra","family":"Te\u0161anovi\u0107","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simin","family":"Nadjm-Tehrani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00f6rgen","family":"Hansson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1007\/3-540-45449-7_27","volume-title":"Embedded Software","author":"J. Stankovic","year":"2001","unstructured":"Stankovic, J.: VEST: a toolset for constructing and analyzing component based operating systems for embedded and real-time systems. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol.\u00a02211, pp. 390\u2013402. Springer, Heidelberg (2001)"},{"key":"4_CR2","volume-title":"Component Software - Beyond Object-Oriented Programming","author":"C. Szyperski","year":"1999","unstructured":"Szyperski, C.: Component Software - Beyond Object-Oriented Programming. Addison-Wesley, Reading (1999)"},{"key":"4_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/BFb0053381","volume-title":"ECOOP \u201997 - Object-Oriented Programming","author":"G. Kiczales","year":"1997","unstructured":"Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C., Loingtier, J.M., Irwin, J.: Aspect-oriented programming. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol.\u00a01241, pp. 220\u2013242. Springer, Heidelberg (1997)"},{"key":"4_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1007\/978-3-540-24686-2_35","volume-title":"Real-Time and Embedded Computing Systems and Applications","author":"A. Te\u0161anovi\u0107","year":"2004","unstructured":"Te\u0161anovi\u0107, A., Nystr\u00f6m, D., Hansson, J., Norstr\u00f6m, C.: Towards aspectual component-based real-time systems development. In: Chen, J., Hong, S. (eds.) RTCSA 2003. LNCS, vol.\u00a02968, pp. 558\u2013577. Springer, Heidelberg (2004)"},{"key":"4_CR5","unstructured":"Te\u0161anovi\u0107, A., Nystr\u00f6m, D., Hansson, J., Norstr\u00f6m, C.: Aspects and components in real-time system development: Towards reconfigurable and reusable software. Journal of Embedded Computing (2004)"},{"key":"4_CR6","doi-asserted-by":"publisher","first-page":"957","DOI":"10.1002\/spe.534","volume":"33","author":"R. Pichler","year":"2003","unstructured":"Pichler, R., Ostermann, K., Mezini, M.: On aspectualizing component models. Software Practice and Experience\u00a033, 957\u2013974 (2003)","journal-title":"Software Practice and Experience"},{"key":"4_CR7","unstructured":"Te\u0161anovi\u0107, A.: Towards aspectual component-based real-time system development. Technical report, Department of Computer Science, Link\u00f6ping University, Licentiate Thesis, ISBN 91-7373-681-3 (2003)"},{"key":"4_CR8","volume-title":"Proceedings of the International Conference on Automated Software Engineering","author":"H. Li","year":"2002","unstructured":"Li, H., Krishnamurthi, S., Fisler, K.: Interfaces for modular feature verification. In: Proceedings of the International Conference on Automated Software Engineering, IEEE Computer Society Press, Los Alamitos (2002)"},{"key":"4_CR9","volume-title":"Proceedings of the ACM SIGSOFT Conference on Foundations of Software Engineering","author":"H. Li","year":"2002","unstructured":"Li, H., Krishnamurthi, S., Fisler, K.: Verifying cross-cutting features as open systems. In: Proceedings of the ACM SIGSOFT Conference on Foundations of Software Engineering, ACM Press, New York (2002)"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Nystr\u00f6m, D., Te\u0161anovi\u0107, A., Norstr\u00f6m, C., Hansson, J., B\u00e5nkestad, N.E.: Data management issues in vehicle control systems: a case study. In: Proceedings of the 14th Euromicro International Conference on Real-Time Systems, Vienna, Austria (2002)","DOI":"10.1109\/EMRTS.2002.1019205"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Coady, Y., Kiczales, G., Feeley, M., Smolyn, G.: Using AspectC to improve the modularity of path-specific customization in operating system code. In: Proceedings of the Joint European Software Engineering Conference (ESEC) and 9th ACM SIGSOFT International Symposium on the Foundations of Software Engineering, FSE-9 (2002)","DOI":"10.1145\/503209.503223"},{"key":"4_CR12","volume-title":"Proceedings of the 40th International Conference on Technology of Object-Oriented Languages and Systems (TOOLS Pacific 2002)","author":"O. Spinczyk","year":"2002","unstructured":"Spinczyk, O., Gal, A., Schr\u00f6der-Preikschat, W.: AspectC++: an aspect-oriented extension to C++. In: Proceedings of the 40th International Conference on Technology of Object-Oriented Languages and Systems (TOOLS Pacific 2002), Australian Computer Society, Sydney (2002)"},{"key":"4_CR13","unstructured":"Xerox Corporation: The AspectJ Programming Guide (2002), Available at: http:\/\/aspectj.org\/doc\/dist\/progguide\/index.html"},{"key":"4_CR14","series-title":"Lecture Notes in Computer Science","volume-title":"Software Engineering Education in the Modern Age","author":"D. Nystr\u00f6m","year":"2006","unstructured":"Nystr\u00f6m, D., Te\u0161anovi\u0107, A., Nolin, M., Norstr\u00f6m, C., Hansson, J.: COMET: A componentbased real-time database for automotive systems. In: Inverardi, P., Jazayeri, M. (eds.) ICSE 2005. LNCS, vol.\u00a04309, Springer, Heidelberg (2006)"},{"key":"4_CR15","volume-title":"Proceedings of the 5th IEEE International Symposium on Logic in Computer Science","author":"R. Alur","year":"1990","unstructured":"Alur, R., Courcoubetis, C., Dill, D.: Model checking for real-time systems. In: Proceedings of the 5th IEEE International Symposium on Logic in Computer Science, IEEE Computer Scoiety Press, Philadelphia (1990)"},{"key":"4_CR16","doi-asserted-by":"publisher","first-page":"394","DOI":"10.1109\/LICS.1992.185551","volume-title":"Proceedings of the 7th. Symposium of Logics in Computer Science","author":"T. Henzinger","year":"1992","unstructured":"Henzinger, T., Nicollin, X., Sifakis, J., Yovine, S.: Symbolic model checking for real-time systems. In: Proceedings of the 7th. Symposium of Logics in Computer Science, pp. 394\u2013406. IEEE Computer Society Press, Los Alamitos (1992)"},{"key":"4_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-540-27755-2_3","volume-title":"Lectures on Concurrency and Petri Nets","author":"J. Bengtsson","year":"2004","unstructured":"Bengtsson, J., Yi, W.: Timed Automata: Semantics, Algorithms and Tools. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) Lectures on Concurrency and Petri Nets. LNCS, vol.\u00a03098, pp. 87\u2013124. Springer, Heidelberg (2004)"},{"key":"4_CR18","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science\u00a0126, 183-235 (1994)","journal-title":"Theoretical Computer Science"},{"key":"4_CR19","unstructured":"Uppaal tool, http:\/\/www.uppaal.com"},{"key":"4_CR20","unstructured":"Kronos tool, http:\/\/www-verimag.imag.fr\/TEMPORISE\/kronos\/"},{"key":"4_CR21","unstructured":"Sipma, H.: A formal model for cross-cutting modular transition systems. In: Proceedings of the Workshop on Foundations of Aspect-Oriented Languages (FOAL 2003), Boston, USA (2003)"},{"key":"4_CR22","volume-title":"Proceedings of the ACM SIGSOFT International Symposium on the Foundations of Software Engineering","author":"S. Krishnamurthi","year":"2004","unstructured":"Krishnamurthi, S., Fisler, K., Greenberg, M.: Verifying aspect advice modularity. In: Proceedings of the ACM SIGSOFT International Symposium on the Foundations of Software Engineering, ACM Press, New York (2004)"},{"key":"4_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1007\/3-540-48683-6_3","volume-title":"Computer Aided Verification","author":"R. Alur","year":"1999","unstructured":"Alur, R.: Timed automata. In: Halbwachs, N., Peled, D.A. (eds.) CAV 1999. LNCS, vol.\u00a01633, pp. 8\u201322. Springer, Heidelberg (1999)"},{"key":"4_CR24","volume-title":"Proceedings of the 16th IEEE Real-Time Systems Symposium","author":"K. Larsen","year":"1995","unstructured":"Larsen, K., Pettersson, P., Yi, W.: Compositional and symbolic model-checking of real-time systems. In: Proceedings of the 16th IEEE Real-Time Systems Symposium, IEEE Computer Society Press, Pisa (1995)"}],"container-title":["Lecture Notes in Computer Science","Component-Based Software Development for Embedded Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11591962_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:02:35Z","timestamp":1605643355000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11591962_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540306443","9783540316145"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/11591962_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}