Formal Techniques for Safety-Critical Systems - Third International Workshop, FTSCS 2014 (Communications in Computer and Information Science)