| back to Model Checking of Automated Needle Steering |