1. The role of software in spacecraft accidents;Leveson;AIAA J. Spacecraft Rockets,2004
2. Social impact of information system failures;Tamai;IEEE Comput.,2009
3. Software engineering view of a large-scale system failure and the following lawsuit;Tamai,2015
4. Model Checking;Clarke,1999
5. Principles of Model Checking;Baier,2008