Acknowledgement
This documentation was developed by Erika Kvalem Soto in the context of a summer internship (2018) at Simula Research Laboratory with the supervision of Valentina Carapella as a contribution to the SysAFib project. Many people helped in the development of this documentation at Simula and amongst them I would like to highlight Eduardo Baena Martinez.