Improving platform-based system synthesis by satisfiability modulo theories solving.