The goal of this project is to connect informal artifacts like architecture documentation and formal artifacts like models. The InFormALin Framework is actively developed by researchers of the Modelling for Continuous Software Engineering (MCSE) group of KASTEL - Institute of Information Security and Dependability at the KIT. This work was supported by funding from the topic Engineering Secure Systems of the Helmholtz Association (HGF) and by KASTEL Security ...