The nuXmv Symbolic Model Checker