Configuration Logics: Modelling Architecture Styles. Mavridou, A.; Baranov, E.; Bliudze, S.; and Sifakis, J. In Braga, C. and Ölveczky, P. C., editors, FACS, volume 9539, of Lecture Notes in Computer Science, pages 256-274, 2015. Springer.
Link
Paper bibtex @inproceedings{conf/facs2/MavridouBBS15,
added-at = {2016-01-29T00:00:00.000+0100},
author = {Mavridou, Anastasia and Baranov, Eduard and Bliudze, Simon and Sifakis, Joseph},
biburl = {http://www.bibsonomy.org/bibtex/2acbcc7e8d47cc09e7b018f70585b3135/dblp},
booktitle = {FACS},
crossref = {conf/facs2/2015},
editor = {Braga, Christiano and Ölveczky, Peter Csaba},
ee = {http://dx.doi.org/10.1007/978-3-319-28934-2_14},
interhash = {2146930c3293a2dba630ea7cff8d8ef0},
intrahash = {acbcc7e8d47cc09e7b018f70585b3135},
isbn = {978-3-319-28933-5},
keywords = {dblp},
pages = {256-274},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2016-01-30T11:38:13.000+0100},
title = {Configuration Logics: Modelling Architecture Styles.},
url = {http://dblp.uni-trier.de/db/conf/facs2/facs2015.html#MavridouBBS15},
volume = 9539,
year = 2015
}