Pierre Ganty Jean-François Raskin Laurent Van Begin A Complete Abstract Interpretation Framework for Coverability Properties of WSTS. 49-64 2006 conf/vmcai/2006 VMCAI http://dx.doi.org/10.1007/11609773_4 db/conf/vmcai/vmcai2006.html#GantyRB06