Pietro Cenciarelli Daniele Gorla Ivano Salvo Depletable Channels: Dynamics and Behaviour. 50-61 2009 FCT http://dx.doi.org/10.1007/978-3-642-03409-1_6 conf/fct/2009 db/conf/fct/fct2009.html#CenciarelliGS09