Formal Analysis for Continous Systems Controlled by Programs. - Shigeru Igarashi; Tetsuya Mizutani; Tetsuya Shirogane; Masayuki Shio (ASIAN, 1996)

Formal Verification and Evaluation of Execution Time in the Envelope Theory. - Shigeru Igarashi; Masayuki Shio; Tetsuya Shirogane; Tetsuya Mizutani (ASIAN, 1996)