Working out an incomplete cyclic train timetable for high-speed railways by computer
Visualizing the Provenance of Personal Data Using Comics
Verification of quantitative requirements for GNSS-based railway applications
Use of model transformation for the formal analysis of railway interlocking models
Use of computers and microprocessors for quality assurance in the automotive industry