* 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