Denil, Joachim, Antonio Cicchetti, Matthias Biehl, Paul De Meulenaere, Romina Eramo, Serge Demeyer, and Hans Vangheluwe. 2012. “Automatic Deployment Space Exploration Using Refinement Transformations”. Electronic Communications of the EASST 50 (July). https://doi.org/10.14279/tuj.eceasst.50.711.