Static Analysis of Resource Usage Bounds for Imperative Programs | IEEE Conference Publication | IEEE Xplore