Download Knowledge In Action: Logical Foundations For Specifying And Implementing Dynamical Systems 2001