Improving and Assessing the Efficiency of the MC4CSLTA Model Checker