Chapter 4: An Example Specification for

Implementing a Temperature Regulator Software Component

(Please also take a look at an example of a car lock component)