P.  Mukala, Cerone, A., and Turini, F., ?Process mining event logs from FLOSS data: state of the art and perspectives?, in International Conference on Software Engineering and Formal Methods, 2014.