1. Abushark, Y., Thangarajah, J., Harland, J., Miller, T. (2017). A framework for automatically ensuring the conformance of agent designs. Journal of Systems and Software, 131(C), 266–310.
2. Ali, N., Martínez-Martínez, A., Ayuso-Pérez, L., Espinoza, A. (2017). Self-adaptive quality requirement elicitation process for legacy systems: a case study in healthcare. In Proceedings of the symposium on applied computing, SAC ’17 (pp. 1102–1107). New York: ACM.
3. Amyot, D., & Eberlein, A. (2003). An evaluation of scenario notations and construction approaches for telecommunication systems development. Telecommunication Systems, 24(1), 61–94.
4. Andersson, J., Baresi, L., Bencomo, N., de Lemos, R., Gorla, A., Inverardi, P., Vogel, T. (2013). Software engineering processes for self-adaptive systems. In de Lemos, R., Giese, H., Müller, H.A., Shaw, M. (Eds.) Software engineering for self-adaptive systems II: international seminar, dagstuhl castle, germany, october 24-29, 2010 Revised Selected and Invited Papers (pp. 51–75). Berlin: Springer.
5. André, P., Rivière, N., Waeselynck, H. (2017). A toolset for mobile systems testing. In Barkaoui, K., Boucheneb, H., Mili, A., Tahar, S. (Eds.) Verification and Evaluation of Computer and Communication Systems: 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings (pp. 124–138). Cham: Springer International Publishing.