Liu, et al.. Applying SOFL to Specify a Railway Crossing Controller for Industry. IEEE Comput. Soc, doi:10.1109/wift.1998.766294.