Functional test generation guided by steady-state probabilities of abstract design | IEEE Conference Publication | IEEE Xplore