Bounding recursive procedural models using convex optimization | IEEE Conference Publication | IEEE Xplore