On Reachable State Space Reduction for Formal Validation of Scan-based Systems | Publicación