Zaslat SMS: Designing concurrent: distributed and real time applications with UML