Latest development on the simulation of rolling contact fatigue crack growth in rails
System safety property-oriented test sequences generating method based on model checking
Working out an incomplete cyclic train timetable for high-speed railways by computer
High Density System Integration for Medium Power Applications (Invited paper)