Formal Specification and Automated Verification of Safety-Critical Requirements of a Railway Vehicle with Frama-C/Jessie. - Kerstin Hartig; Jens Gerlach; Juan Soto 001; Jürgen Busse (FORMS/FORMAT, 2010)