Gravar-mail: Logical modelling and analysis of the budding yeast cell cycle