Non Linearities Modelling in Stochastic Flash Analog-to-Digital Converters