Embedded Software Design -- Scaling up Model-checking -- Performance Debugging of