* README This file. Documentation of the Island Tunnel Control problem
* itc.smv.txt Source for SMV (model checking) specification, implementation,
and verification
* itc.vhdl.txt Source for a VHDL description of ITC problem.
LATEX FILES Document containing informal specification and one
implementation of the Island Tunnel Control problem
* itc.tex Top level TEX source, reads other .tex and .txt files.
* itc.aux Latex residual of itc.tex
* itc.log Latex residual of itc.tex
* itc.dvi DVI version of itc document
* itc.ps.Z Compressed PS generated from DVI
* itc.description.tex Section 1 of the ITC description
* itc.description.aux Latex residual of above.
* itc.implementation.tex Section 2 of the ITC description
* itc.implementation.aux Latex residual of above.
BIBTEX FILES
* itc.bib Bibtex references used in `itc`
* itc.bbl Bibtex residual
* itc.blg Bibtex residual
FOR SELF CONTAINMENT
* verbatimfiles.sty PD Package to incorporate verbatim listing
DRAWINGS
* itc-picture.ps Sketch of the ITC scene (PS be 'idraw')
* itc.kf.arch.fig ITC implementation architecture ('xfig' file)
* itc.kf.arch.ps ITC implementation architecture ('xfig' PS)
* islandasmsm.eps ASM diagram of the island light control
* mainlandasmsm.eps ASM diagram of the mainland light control
* tunnelasmsm.eps ASM diagram of the tunnel access control