1. East Japan Railway Morioka Damage and restoration of ground equipment after the Great Tohoku Earthquake http://www.jr-morioka.com/pdf/press/pdf_1302843201_1.pdf 2011
2. Developments towards the safest railway in the world through sophisticated train control system;Nakamura;IEICE Technical Report,2011
3. Development of Powerful Railway Control System Against Earthquake Disaster;Nakamura;Rolling Stock & Technology,2011
4. Lecomte T Servat T Pouzance G Formal methods in safety-critical railway systems In Proc. 10th Brasilian Symposium on Formal Methods 2007