libDGALS: A Library-based Approach to Design Dynamic GALS Systems