"Modelling of Railway Signalling System Requirements by Controlled Natural ..."

Gabriele Lenzini, Marinella Petrocchi (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics