selected publications conference paper Designing actively ecure, highly available industrial automation applications. 374-379. 2019
