| 其他書名 | Analytical Methodology for Safety Validation of Computer Controlled Subsystems |
| 出版 | U.S. Department of Transportation, Federal Railroad Administration, Office of Research and Development, 1995 |
| URL | http://books.google.com.hk/books?id=MvrkukWcQ4wC&hl=&source=gbs_api |