CORENET X Model Checker: Independent Design Check for Singapore Projects