Design Validation of Multi-mode Systems