Source: https://hal.inria.fr/file/index/docid/71778/filename/RR-4808.pdf