Zaslat SMS: Control design for markov chains under safety constraints , a convex approach