Semantic Computing for Railway Infrastructure Verification. - Michael Lodemann; Norbert Luttenberger; Elferik Schulz (ICSC, 2013)