A lightweight regular model checking approach for parameterized systems