[1]
J. Denil, “Automatic Deployment Space Exploration Using Refinement Transformations”,
ECEASST
, vol. 50, Jul. 2012.