System Models and System Specification

Lecture notes can be found here.