Code generation in the polytope model | IEEE Conference Publication | IEEE Xplore