Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design.