Knowledge in Action - Logical Foundations for Specifying and Implementing Dynamical Systems | lit.salon