An approach for UIO generation for FSM verification and validation | IEEE Conference Publication | IEEE Xplore