Αποστολή με SMS: Scalable and Near-Optimal Design Space Exploration for Embedded Systems