@misc{indiciae5f2a3860b42c,
  title = {Modularizing Behavioral and Architectural Crosscutting Concerns in Formal Component-Based Systems - Application to the Behavior Interaction Priority Framework},
  author = {Antoine El-Hokayem and Yliès Falcone and Mohamad Jaber},
  year = {2018},
  url = {https://arxiv.org/abs/1805.08406},
  note = {Source identifier: 1805.08406}
}