An overview of the RFCS project V&V framework: optimization-based and linear tools for worst-case search | Publicación