Formal Modeling and Verification of Interlocking Systems Featuring Sequential Release. - Linh Vu Hong; Anne E. Haxthausen; Jan Peleska 001 (FTSCS, 2014)

Complete Model-Based Equivalence Class Testing for the ETCS Ceiling Speed Monitor. - Cécile Braunstein; Anne E. Haxthausen; Wen-ling Huang; Felix Hübner 001; Jan Peleska 001; Uwe Schulze; Linh Vu Hong (ICFEM, 2014)

Formal Development and Verification of Railway Control Systems - In the context of ERTMS/ETCS Level 2. - Linh Vu Hong (2015)

Formal modelling and verification of interlocking systems featuring sequential release. - Linh Vu Hong; Anne E. Haxthausen; Jan Peleska 001 (Sci. Comput. Program., 2017)