@inproceedings{112,
  author = {Zsolt Lattmann and Tamas Kecskes and Patrik Meijer and Gabor Karsai and Peter Volgyesi and Akos Ledeczi},
  title = {Abstractions for Modeling Complex Systems},
  abstract = {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.},
  year = {2016},
  journal = {ISoLA 2016: 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation},
  address = {Corfu, Greece},
}