Bingfeng Xu, Zhiqiu Huang, Jun Hu, Ou Wei, Yu Zhou: Minimal cut sequence generation for state/event fault trees. Middleware Doctoral Symposium 2013: 3:1-3:6