Bressan, Lucas, de Oliveira, André L., Campos, Fernanda, Papadopoulos, Yiannis, Parker, David, "An Integrated Approach to Support the Process-Based Certification of Variant-Intensive Systems", Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020