Design of Asynchronous Software -- Approximate Symbolic Reachability of Networks of