<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Zsolt Lattmann</style></author><author><style face="normal" font="default" size="100%">Tamas Kecskes</style></author><author><style face="normal" font="default" size="100%">Patrik Meijer</style></author><author><style face="normal" font="default" size="100%">Karsai, Gabor</style></author><author><style face="normal" font="default" size="100%">Volgyesi, Peter</style></author><author><style face="normal" font="default" size="100%">Ledeczi, Akos</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Abstractions for Modeling Complex Systems</style></title><secondary-title><style face="normal" font="default" size="100%">ISoLA 2016: 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2016</style></year></dates><urls><related-urls><url><style face="normal" font="default" size="100%">https://archive.isis.vanderbilt.edu/sites/default/files/AbstractionsForModelingComplexSystems.pdf</style></url></related-urls></urls><pub-location><style face="normal" font="default" size="100%">Corfu, Greece</style></pub-location><abstract><style face="normal" font="default" size="100%">The ever increasing popularity of model-based system- and software  engineering has resulted in more and more systems---and more and more complex systems---being modeled. Hence, the problem of managing the complexity of the models themselves has gained importance. This paper introduces three abstractions that are specifically targeted at improving the scalability of the modeling process and the system models themselves.</style></abstract></record></records></xml>