BFSI-B: An improved K-hop graph reachability queries for cyber-physical systems