Revisiting the yeast cell cycle problem with the improved TriGen algorithm | IEEE Conference Publication | IEEE Xplore