GitHub repository: t-lohse/UCDD
Description: Uppaal CDD library