An efficient refinement strategy exploiting component properties in a cegar process. - Syed Hussein Syed Alwi; Cécile Braunstein; Emmanuelle Encrenaz (FDL, 2012)

Efficient Refinement Strategy Exploiting Component Properties in a CEGAR Process. - Syed Hussein Syed Alwi; Cécile Braunstein; Emmanuelle Encrenaz (FDL (Selected Papers), 2012)

FSM-based properties and abstraction of components. - Syed Hussein Syed Alwi; Emmanuelle Encrenaz (RSP, 2014)