Yacef, Y. (2004). Générateur de missions de DSS-1-CAD : extensions et analyse des solutions [Master's thesis, École Polytechnique de Montréal]. Available