Authors: Ruben Martins, Vasco Manquinho, Inês Lynce
Contributors: Miguel Neves, Saurabh Joshi, Mikolas Janota

To contact the authors please send an email to:

References: