Modeling R3 Needle Steering in Uppaal. - Sascha Lehmann; Antje Rogalla; Maximilian Neidhardt; Anton Reinecke; Alexander Schlaefer; Sibylle Schupp (MARS@ETAPS, 2022)