Renjian Li Ji Wang Liqian Chen Wanwei Liu Dengping Wei Quantitative analysis for symbolic heap bounds of CPS software. 1251-1276 2011 8 Comput. Sci. Inf. Syst. 4 http://dx.doi.org/10.2298/CSIS110302054L db/journals/comsis/comsis8.html#LiWCLW11