The discussion with Alice Faibishenko is based on the latest SEFO report by Funcas, accessible in this link. The chapter about State guarantees and latent non-performance is available here