A Front-End Tool for Automated Abstraction and Modular Verification of Actor-Based Models