Verifying the accuracy of interlocking tables for railway signalling systems using abstract state machines
This page can only be viewed if you are logged in. If you do not have an account yet, you can register here for My Structurae completely free of charge.