Extracting Environmental Constraints in Reactive System Specifications. - Yuichi Fukaya; Noriaki Yoshiura (ICCSA (4), 2015)