Other research laboratories offer relevant examples of LaTeX files. Here are a few:
Formal Methods Tools
You may either install these tools on your local machine or run them on ISU's remote linux servers. The tools can be run via a remote desktop connection (e.g., ssh -Y -X) to linuxremote1.engineering.iastate.edu through linuxremote4.engineering.iastate.edu. You must be on-campus or connected to the VPN from off-campus to reach these systems. For example, 'spin' and 'ispin' run from the command line. These applications are installed in /opt/Spin. All of the examples, documentation, etc. can be found there. PVS and nuXmv are also available on the linux remote servers.