Fuzzy Requirements Verification in SysML v2: Direct Modeling and Scenario-Based Analysis for Cyber-Physical Systems. - Adel Khelifati; Malika Boukala-Ioualalen; Ahmed Hammad (ICSOFT, 2025)

Combining SysML V2 and BIP to Model and Verify CPS Interactions. - Adel Khelifati; Ahmed Hammad; Malika Boukala-Ioualalen (ICSOFT, 2025)