GitHub repository: ulriknyman/UCDD
Description: Uppaal CDD library