Code repository of our research paper - D. Afchar, G. Meseguer Brocal, R. Hennequin - View it on GitHub