A Combined Graph-based Approach for Systems Design And Verification. - Najet Zoubeir; Adel Khalfallah (MODELSWARD, 2015)