Next generation modeling II - applications: improving the development process for eukaryotic cell cycle models with a modeling support environment.