An Efficient Verification Procedure Supporting Evolution of Reactive System Specifications. - Takenobu Aoshima; Kenji Sakuma; Naoki Yonezaki (IWPSE, 2001)