Info Exercise Sheets Exercise Sheet 01: Timed Behaviour, DC Exercise Sheet 01: Timed Behaviour, DC - Read More… Exercise Sheet 02: More Duration Calculus Exercise Sheet 02: More Duration Calculus - Read More… Exercise Sheet 03: DC Implementables Exercise Sheet 03: DC Implementables - Read More… Exercise Sheet 04: Timed Automata and Uppaal Exercise Sheet 04: Timed Automata and Uppaal - Read More… Exercise Sheet 05: Regions, Deadlock, Verification Exercise Sheet 05: Regions, Deadlock, Verification - Read More… Exercise Sheet 06: SPI Project Exercise Sheet 06: SPI Project - Read More… SPI example model SPI example model - Read More…