Slide 1 Doctoral course ’Advanced topics in Embedded Systems’. Lyngby'08 Model-Based Development and Validation of Multirobot Cooperative System Jüri Vain Dept.…