Derivation of the Input Conditional Formula from a Reactive System Specifictaion in Temporal Logic. - Ryosei Mori; Naoki Yonezaki (FTRTFT, 1994)