Reachability matrix belonging to the case study