Xiaofeng Li O. Shigo A Simulation-Based SDL Support System. 284-291 1992 conf/seke/1992 SEKE http://doi.ieeecomputersociety.org/10.1109/SEKE.1992.227917 db/conf/seke/seke1992.html#LiS92