LTSmin PINS interface Data Provider for B Modelling Language.