Path-sensitive resource analysis compliant with assertions - Chu, D.-H. (2014)
10.1109/EMSOFT.2013.6658593