SMS versenden: Provably correct on−chip communication: A formal approach to automatic protocol converter synthesis