Brigitte Krenn Marcin Skowron Gregor Sieber Erich Gstrein Jörg Irran 519-520 2009 IVA http://dx.doi.org/10.1007/978-3-642-04380-2_71 conf/iva/2009 db/conf/iva/iva2009.html#KrennSSGI09