Piecewise-functional broadside tests based on intersections of reachable states | IEEE Conference Publication | IEEE Xplore