Working out an incomplete cyclic train timetable for high-speed railways by computer
System safety property-oriented test sequences generating method based on model checking
Study of Intake Charge Control Method on TGDI Engine with CVVL System
State-based risk frequency estimation of a rail traffic signal system