Chapter 23, Specifying Behavior of Embedded Systems door Robert Oshana