@article{elhokayem:hal-01796786, TITLE = {{Modularizing Behavioral and Architectural Crosscutting Concerns in Formal Component-Based Systems - Application to the Behavior Interaction Priority Framework}}, AUTHOR = {El-Hokayem, Antoine and Falcone, Yli{\`e}s and Jaber, Mohamad}, URL = {https://inria.hal.science/hal-01796786}, JOURNAL = {{Journal of Logical and Algebraic Methods in Programming}}, PUBLISHER = {{Elsevier}}, VOLUME = {99}, PAGES = {143--177}, YEAR = {2018}, DOI = {10.1016/j.jlamp.2018.05.005}, PDF = {https://inria.hal.science/hal-01796786/file/jlamp-ElHokayem-Falcone-Jaber.pdf}, HAL_ID = {hal-01796786}, HAL_VERSION = {v1}, }