Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems)