Modelling and Analysis of an Interventional X-Ray System in NuSMV2