Shige Wang Kang G. Shin Task Construction for Model-Based Design of Embedded Control Software. 254-264 2006 32 IEEE Trans. Software Eng. 4 http://doi.ieeecomputersociety.org/10.1109/TSE.2006.39 db/journals/tse/tse32.html#WangS06a