"Applying SOFL to a Railway Interlocking System in Industry."

Juan Luo et al. (2016)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics