On the Random Generation of Non-deterministic Automata (up to