Jian Wang, Huawei Li, Tao Lv, Tiancheng Wang, Xiaowei Li: Functional test generation guided by steady-state probabilities of abstract design. DATE 2014: 1-4