Dengand Wu. Approximate Bisimulation and Optimization of Software Programs Based on Symbolic-numeric Computation. Hindawi Limited, 2013, doi:10.1155/2013/421926.