Computational Systems Biology with Constraints by Bortolussi Luca