1. Akhigbe, O., Amyot, D., Richards, G.: A systematic literature mapping of goal and non-goal modelling methods for legal and regulatory compliance. Requirements Eng. 24(4), 459–481 (2018).
https://doi.org/10.1007/s00766-018-0294-1
2. Alexander, C., Ishikawa, S., Silverstein, M.: A Pattern Language: Towns, Buildings Construction. Oxford University Press, Oxford (1977)
3. Alexander, R., Hawkins, R., Kelly, T.: Security assurance cases: motivation and the state of the art (2011)
4. Avizienis, A., Laprie, J., Randell, B., Landwehr, C.E.: Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. Dependable Sec. Comput. 1(1), 11–33 (2004)
5. Bieber, P., et al.: MIMOSA: towards a model driven certification process. In: Proceedings of European Congress Embedded Real Time Software And Systems (2016)