Model Checking Java Programs For Automation