Takumi Aida Setsuo Ohsuga Model-Based Software Requirements Design. 827 2000 PRICAI db/conf/pricai/pricai2000.html#AidaO00