publicações selecionadas artigo de conferência Designing actively ecure, highly available industrial automation applications 2019