# Lecture 2 Developing Secure Systems 9/4/2019 Recall: Introduction & Models Today: Models??? A thing about steam turbins in a nuclear plant (closed cycle nuclear plant) You can't build a nuclear plant based on a model of a nuclear plant. Basics of making a C program