Sascha Lehmann presents the paper An Online Model Checking Approach to Soft-Tissue Detection for Rupture Prediction at the 18th Annual Meeting of the German Society for Computer- and Robot-Assisted Surgery (<link https: curac.org en _blank>CURAC 2019) in Reutlingen.