Text this: A Novel Approach Of Groebner Bases Computation For Safety Analysis Of Distributed Discrete Controllers