Syed Hussein S. Alwi, Cécile Braunstein, Emmanuelle Encrenaz. An efficient refinement strategy exploiting component properties in a cegar process. In Proceeding of the 2012 Forum on Specification and Design Languages, Vienna, Austria, September 18-20, 2012. pages 27-34, IEEE, 2012. [doi]
Abstract is missing.