An Approach Converting XMI to SMV