Computational Methods in Systems Biology - Bortolussi (Springer International Publishing, 2019)