selected publications conference paper Security Certification of Cyber Physical Systems for Critical Infrastructure based on the Compositional MILS Architecture. . 2021