DocTestSetup = :(using ReachabilityAnalysis) CurrentModule = ReachabilityAnalysis Hyperrectangle-based method (BOX) Method Examples