Ahmed Mekki, Mohamed Ghazel, Armand Toguyéni. Validation of a New Functional Design of Automatic Protection Systems at Level Crossings with Model-Checking Techniques. IEEE Transactions on Intelligent Transportation Systems, 13(2):714-723, 2012. [doi]
Abstract is missing.