Text this: A 0,1 Linear Programming Approach to Deadlock Detection and Management in Railways.