The efm.borndie.model package contains an extension of the {@link ch.javasoft.metabolic.efm.model.nullspace.NullspaceEfmModel nullspace model} specialized for the born/die algorithm.