I can perform Model Checking without a Model Checker :-)
I do not have any model checker installed. If click on analysis master
and perform all analysis for the component, I get some nice results (see
screenshot)
(from redmine: issue id 1204, created on 2013-01-24, closed on 2013-08-01)