There is now an easy installation package of the MSD-to-SMV for Product Lines Tool for MAC users available here. The archive file contains an eclipse and patched NuSMV version readily set-up as explained in the tool’s installation section.