J. Denil, “Automatic Deployment Space Exploration Using Refinement Transformations”, eceasst, vol. 50, Jul. 2012.