Dongfeng Wang Farokh B. Bastani I-Ling Yen A Systematic Design Method For High Quality Process-Control Systems Development. 43-59 2004 14 International Journal of Software Engineering and Knowledge Engineering 1 http://dx.doi.org/10.1142/S0218194004001555 db/journals/ijseke/ijseke14.html#WangBY04