Towards a Verified Simulation Model for Radiofrequency Ablations. - Andreas Weihusen; Lisa Hinrichsen; Thomas Carus; Rainer Dammer; Richard Rascher-Friesenhausen; Tim Kröger; Heinz-Otto Peitgen; Tobias Preusser (IPCAI, 2010)