Atsushi Togashi Xiaosong Lu Fumiaki Kanezashi System Requirements and Formal Specifications of Hierarchical Reactive Systems. 91-98 2000 ICPADS http://computer.org/proceedings/icpads/0568/05680091abs.htm db/conf/icpads/icpads2000.html#TogashiLK00