Towards a practical reachability test for dynamic systems under process faults | IEEE Conference Publication | IEEE Xplore