Αποστολή με SMS: Correct-by-Construction Approaches for SoC Design