Comparing Formal Verification Approaches of Interlocking Systems - Hoang Nguyen (Springer International Publishing, 2015)