../models/boolean_cell_cycle.zginml