Towards a practical reachability test for dynamic systems under process faults | Publicación