Jun Sun 0001 Yang Liu 0003 Jin Song Dong Chunqing Chen Integrating Specification and Programs for System Modeling and Verification. 127-135 2009 TASE http://dx.doi.org/10.1109/TASE.2009.32 conf/tase/2009 db/conf/tase/tase2009.html#SunLDC09