GitHub repository: mbalduccini/cpsframework
Description: Modeling of CPS Framework