1. Acher, M., Collet, P., Fleurey, F., Lahire, P., Moisan, S., Rigault, J.-P., 2009. Modeling Context and Dynamic Adaptations with Feature Models. In: 4th International Workshop Models@run.time at Models 2009 (MRT’09). p. 10.
2. Static verification of security requirements in role based cscw systems;Ahmed,2003
3. A formal basis for architectural connection;Allen;ACM Trans. Softw. Eng. Methodol.,1997
4. Reactive modules;Alur;Form. Methods Syst. Des.,1999
5. Featuring roles: Artifact;Anon,2022