@TechReport{FGRV05,
 author =      {Finkel, A. and Geeraerts, G. and Raskin, J.-F. and {Van~Begin}, L.},
 title =      {A counter-example the the minimal coverability tree algorithm},
 institution =  {{U}niversit\'e {L}ibre de {B}ruxelles},
 year =      {2005},
 number =      {535},
 pdf = {http://www.ulb.ac.be/di/ssd/ggeeraer/papers/FGRV05-Coverability.pdf}
}