2002年 Symbolic Model Checking of Deadlock Free Property of Task Control Architecture 出版者・発行元 IEICE Trans. Information and Systems
