Title: Specification and Analysis of Discrete Systems
Subjects: Discrete-time systems