A Computer-Aided Verification Tool for Finite State Controller Systems