ACTIVE - a tool for integrating analysis contracts.