Research on service composition based on bounded model checking
HAO Shengang, ZHANG Li
Computer Engineering and Applications . 2012, (10): 111 -114 .