Modularizing behavioral and architectural crosscutting concerns in formal component-based systems - Application to the Behavior Interaction Priority framework.
Antoine El-HokayemYliès FalconeMohamad JaberPublished in: J. Log. Algebraic Methods Program. (2018)