integrated ModelChecker -> BlockModel added SaveControl