1. Formal methods for industrial applications, volume 1165 of LNCS,1996
2. Applying formal methods within structured development;Aujla;IEEE journal on selected areas in communications,1994
3. S. Austin and G.I. Parkin. Formal methods: A survey. Technical report, National Physical Laboratory, Teddington, Middlesex, United Kingdom, 1993.
4. Process algebra, volume 18 of Cambridge Tracts in Theoretical Computer Science;Baeten,1990
5. T. Basten, R. Bol, and M. Voorhoeve. Simulating and analyzing railway interlockings in ExSpect. Technical Report 94–37, Eindhoven University of Technology, Department of Mathematics and Computing Science, 1994.