d-ira: A distributed reachability algorithm for analysis of linear hybrid automata