Advanced Usage Models for Continuous Integration in Verification Environments