Denil, J., Cicchetti, A., Biehl, M., De Meulenaere, P., Eramo, R., Demeyer, S., & Vangheluwe, H. (2012). Automatic Deployment Space Exploration Using Refinement Transformations. Electronic Communications of the EASST, 50. https://doi.org/10.14279/tuj.eceasst.50.711