A Methodology for the Description of System Requirements and the Derivation of Formal Specifications. - Atsushi Togashi; Fumiaki Kanezashi; Xiasong Lu (FORTE, 1997)

System Requirements and Formal Specifications of Hierarchical Reactive Systems. - Atsushi Togashi; Xiaosong Lu; Fumiaki Kanezashi (ICPADS, 2000)