Improved models with mutex for Verification project.