You are about to access our book library "Formal Methods for Discrete-Time Dynamical Systems (Studies in Systems, Decision and Control Book 89) full version" .