WCET determination tool for embedded systems software. - Carsten Albrecht; Roman Koch; Thilo Pionteck; Erik Maehle; Michael Werner; Rudolf Fuchsen (SimuTools, 2008)

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)