Daniel Côté, Benoît Fraikin, Marc Frappier, Richard St-Denis: A SAT-Based Approach for the Construction of Reusable Control System Components. FMICS 2011: 52-67