Implementation of Decision Procedure of Stepwise Satisfiability of Reactive System Specifications. - Noriaki Yoshiura; Yuma Hirayanagi (ICCSA (4), 2015)