ESW-Extel, Wedel, (Railway)
Verification (software safety analysis) of railway software according to CENELEC SIL-3
(since 2001)