@conference {4780,
	title = {Abstractions for Modeling Complex Systems},
	booktitle = {ISoLA 2016: 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation},
	year = {2016},
	address = {Corfu, Greece},
	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.},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/AbstractionsForModelingComplexSystems.pdf},
	author = {Zsolt Lattmann and Tamas Kecskes and Patrik Meijer and Karsai, Gabor and Volgyesi, Peter and Ledeczi, Akos}
}
