Specification and verification for real-time coordination protocols of cyber-physical systems / by Stefan Dziwok ; supervised by Prof. Dr. Wilhelm Schäfer and Prof. Dr. Matthias Tichy