The LTSmin model checking toolset