Termination and cost analysis: Complexity and precision issues. - Abu Nase Masud (2012)