{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:46:27Z","timestamp":1725551187519},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642122606"},{"type":"electronic","value":"9783642122613"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-12261-3_21","type":"book-chapter","created":{"date-parts":[[2010,4,7]],"date-time":"2010-04-07T10:28:06Z","timestamp":1270636086000},"page":"220-224","source":"Crossref","is-referenced-by-count":3,"title":["Recent Advances in Multi-paradigm Modeling"],"prefix":"10.1007","author":[{"given":"Vasco","family":"Amaral","sequence":"first","affiliation":[]},{"given":"C\u00e9cile","family":"Hardebolle","sequence":"additional","affiliation":[]},{"given":"Gabor","family":"Karsai","sequence":"additional","affiliation":[]},{"given":"L\u00e1szl\u00f3","family":"Lengyel","sequence":"additional","affiliation":[]},{"given":"Tiham\u00e9r","family":"Levendovszky","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"21_CR1","unstructured":"Gheorghe, L., Nicolescu, G., O\u2019Connor, I.: Modeling and formal verification of a passive optical network on chip behavior. In: Proceedings of the 3rd International Workshop on Multi-Paradigm Modeling: Concepts and Tools, colocated with the ACM\/IEEE 12th International Conference on Model Driven Engineering Languages and Systems, Denver, Colorado, USA, October 6 (2009)"},{"key":"21_CR2","unstructured":"Rajhans, A., wen Cheng, S., Schmerl, B., Garlan, D., Krogh, B.H., Agbi, C., Bhave, A.: An architectural approach to the design and analysis of cyber-physical systems. In: Proceedings of the 3rd International Workshop on Multi-Paradigm Modeling: Concepts and Tools, colocated with the ACM\/IEEE 12th International Conference on Model Driven Engineering Languages and Systems, Denver, Colorado, USA, October 6 (2009)"},{"key":"21_CR3","unstructured":"Schuster, A., Sprinkle, J.: Synthesizing executable simulations from structural models of component-based systems. In: Proceedings of the 3rd International Workshop on Multi-Paradigm Modeling: Concepts and Tools, Denver, Colorado, USA, October 6 (2009)"},{"key":"21_CR4","unstructured":"Schiffelers, R., Theunissen, R., van Beek, D., Rooda, J.: Model-based engineering of supervisory controllers using CIF. In: Proceedings of the 3rd International Workshop on Multi-Paradigm Modeling: Concepts and Tools, colocated with the ACM\/IEEE 12th International Conference on Model Driven Engineering Languages and Systems, Denver, Colorado, USA, October 6 (2009)"},{"key":"21_CR5","unstructured":"Groothuis, M., Frijns, R., Voeten, J., Broenink, J.: Concurrent design of embedded control software. In: Proceedings of the 3rd International Workshop on Multi-Paradigm Modeling: Concepts and Tools, colocated with the ACM\/IEEE 12th International Conference on Model Driven Engineering Languages and Systems, Denver, Colorado, USA, October 6 (2009)"},{"key":"21_CR6","unstructured":"Jiang, J., Systa, T.: A pattern-based approach to manage model references. In: Proceedings of the 3rd International Workshop on Multi-Paradigm Modeling: Concepts and Tools, colocated with the ACM\/IEEE 12th International Conference on Model Driven Engineering Languages and Systems, Denver, Colorado, USA, October 6 (2009)"},{"key":"21_CR7","unstructured":"Yie, A., Casallas, R., Deridder, D., Wagelaar, D.: A practical approach to multi-modeling views composition. In: Proceedings of the 3rd International Workshop on Multi-Paradigm Modeling: Concepts and Tools, colocated with the ACM\/IEEE 12th International Conference on Model Driven Engineering Languages and Systems, Denver, Colorado, USA, October 6 (2009)"},{"key":"21_CR8","unstructured":"Barroca, B., L\u00facio, L., Buchs, D., Amaral, V., Pedro, L.: Dsl composition for model-based test generation. In: Proceedings of the 3rd International Workshop on Multi-Paradigm Modeling: Concepts and Tools, colocated with the ACM\/IEEE 12th International Conference on Model Driven Engineering Languages and Systems, Denver, Colorado, USA, October 6 (2009)"},{"key":"21_CR9","unstructured":"K\u00fchne, T., Mezei, G., Syriani, E., Vangheluwe, H., Wimmer, M.: Explicit transformation modeling. In: Proceedings of the 3rd International Workshop on Multi-Paradigm Modeling: Concepts and Tools, colocated with the ACM\/IEEE 12th International Conference on Model Driven Engineering Languages and Systems, Denver, Colorado, USA, October 6 (2009)"},{"key":"21_CR10","unstructured":"Meszaros, T., Levendovszky, T., Mezei, G.: Code generation with the model transformation of visual behavior models. In: Proceedings of the 3rd International Workshop on Multi-Paradigm Modeling: Concepts and Tools, colocated with the ACM\/IEEE 12th International Conference on Model Driven Engineering Languages and Systems, Denver, Colorado, USA, October 6 (2009)"},{"key":"21_CR11","unstructured":"Asztalos, M., Lengyel, L., Levendovszky, T.: Toward automated verification of model transformations: A case study of analysis of refactoring business process models. In: Proceedings of the 3rd International Workshop on Multi-Paradigm Modeling: Concepts and Tools, colocated with the ACM\/IEEE 12th International Conference on Model Driven Engineering Languages and Systems, Denver, Colorado, USA, October 6 (2009)"}],"container-title":["Lecture Notes in Computer Science","Models in Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-12261-3_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T12:06:48Z","timestamp":1619784408000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-12261-3_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642122606","9783642122613"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-12261-3_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}