@Inproceedings{EPTCS178.5, author = {Marmsoler, Diego and Malkis, Alexander and Eckhardt, Jonas}, year = {2015}, title = {A Model of Layered Architectures}, editor = {Buhnova, Bara and Happe, Lucia and Kofro\v{n}, Jan}, booktitle = {{\rm Proceedings 12th International Workshop on} Formal Engineering approaches to Software Components and Architectures, {\rm London, United Kingdom, April 12th, 2015}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {178}, publisher = {Open Publishing Association}, pages = {47-61}, doi = {10.4204/EPTCS.178.5}, }