Quantitative Analysis for Symbolic Heap Bounds of CPS Software Renjian Li; Ji Wang; Liqian Chen; Wanwei Liu; Dengping Wei — 2011 Computer Science and Information Systems