Flemming Nielson Hanne Riis Nielson Hongyan Sun Mikael Buchholtz René Rydhof Hansen Henrik Pilegaard Helmut Seidl 251-265 http://dx.doi.org/10.1007/978-3-540-24730-2_21 2004 conf/tacas/2004 TACAS db/conf/tacas/tacas2004.html#NielsonNSBHPS04