Computational Systems Biology with Constraints door Bortolussi Luca