Improving the development process for eukaryotic cell cycle models with a modeling support environment | IEEE Conference Publication | IEEE Xplore