@article{ABB+6a,
title = {A general framework for architecture composability },
author = {Attie, Paul C. and Baranov, Eduard and Bliudze, Simon and Jaber, Mohamad and Sifakis, Joseph},
year = {2016},
journal = {Formal Asp. Comput.},
number = {2},
pages = {207--231},
volume = {28},
team = {RDS},
}
