Reliable Software Design Aided by QEMU Simulation. - Rui Almeida; Luís Novais; Nelson Naia; Rui Faria; Jorge Cabral 001 (ICIT, 2021)

Let's Get Cyber-Physical: Validation of Safety-Critical Cyber-Physical Systems. - Luís Novais; Nelson Naia; José Azevedo; Jorge Cabral 001 (IEEE Access, 2024)