Model Based Program Specification and Program Generation - In a Case of Vehicle-Engine Control System Design. - Setsuo Ohsuga; Shunsuke Chigusa; Katsuyuki Sugaya (PRICAI Workshops, 2000)