Cauldron: a policy-based design tool | IEEE Conference Publication | IEEE Xplore