Turbines, Engines, and Fuel Cells (and also Thermoelectrics!) Technology of Energy Seminar 3 Presented by Alex Dolgonos and Jonathan E. Pfluger 1.
Edmund M. Clarke School of Computer Science Carnegie Mellon University Model Checking and the Verification of Computer Systems.