Gate delay modeling for static timing analysis of body-biased circuits | IEEE Conference Publication | IEEE Xplore