The paper "Modeling R³ Needle Steering in Uppaal" by Sascha Lehmann, Antje Rogalla, Maximilian Neidhardt, Anton Reinecke, Alexander Schlaefer and Sibylle Schupp has been accepted at the MARS 2022 workshop (http://mars-workshop.org/mars2022/) in Munich.
MARS 2022
