Specific of nuXmv

Inherited from NuSMV