Denil, J.; Cicchetti, A.; Biehl, M.; De Meulenaere, P.; Eramo, R.; Demeyer, S.; Vangheluwe, H. Automatic Deployment Space Exploration Using Refinement Transformations. eceasst 2012, 50.