Validation of a New Functional Design of Automatic Protection Systems at Level Crossings with Model-Checking Techniques | IEEE Journals & Magazine | IEEE Xplore