Security certification experience for industrial cyberphysical systems using Common Criteria and IEC 62443 certifications in certMILS. - Andreas Hohenegger; Gerald Krummeck; Janie Baños; Álvaro Ortega; Michal Hager; Jiri Sterba; Tomas Kertis; Petr Novobilsky; Jan Procházka; Benito Caracuel; Ana Lourdes Sanz; Francisco Ramos 003; et al. (ICPS, 2021)

Security Certification of Cyber Physical Systems for Critical Infrastructure based on the Compositional MILS Architecture. - Andreas Hohenegger; Gerald Krummeck; Janie Baños; Álvaro Ortega; Michal Hager; Jiri Sterba; Tomas Kertis; Petr Novobilsky; Jan Procházka; Benito Caracuel; Ana Lourdes Sanz; Francisco Ramos 003; et al. (IECON, 2021)

FAA+RTS: Designing Fault-Aware Adaptive Real-Time Systems - From Specification to Execution -. - Lukas Miedema; Dolly Sapra; Petr Novobilsky; Sebastian Altmeyer; Clemens Grelck; Andy D. Pimentel (SAMOS, 2024)