Specification and synthesis of bounded indirection | IEEE Conference Publication | IEEE Xplore