LTSmin PINs interface for B Modelling Language.