Zaslat SMS: From COLA Models to Distributed Embedded Systems Code