@inproceedings{MBB+5,
title = {Configuration Logics: Modelling Architecture Styles },
author = {Mavridou, Anastasia and Baranov, Eduard and Bliudze, Simon and Sifakis, Joseph},
year = {2015},
booktitle = {Formal Aspects of Component Software - 12th International Conference, {FACS} 2015, Niter{\'{o}}i, Brazil, October 14-16, 2015, Revised Selected Papers},
pages = {256--274},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {9539},
team = {RSD},
}
