Watanabe, Takuo, 1 Department of Computer Science Graduate School of Information Science and Engineering Tokyo Institute of Technology 2-12-1 Oookayama Meguro-ku, Tokyo, 152-8552, Japan.

• International Journal of Industrial Engineering: Theory, Applications and Practice Vol. 22 No. 4 (2015) - Special Issue: Asia Pacific Conference on Business Process Management
  A MODEL-CHECKING BASED APPROACH TO ROBUSTNESS ANALYSIS OF PROCEDURES UNDER HUMAN-MADE FAULTS
  Abstract