Chapter 23, Specifying Behavior of Embedded Systems by Robert Oshana