Faqeh, R., Fetzer, C., Hermanns, H., Hoffmann, J., Klauck, M., Köhl, M. A., Steinmetz, M., & Weidenbach, C. (2020).
Towards Dynamic Dependable Systems Through Evidence-Based Continuous Certification. In T., Margaria, & B., Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation:
Engineering Principles (pp. 416-439). Berlin: Springer. doi:10.1007/978-3-030-61470-6_25.