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