Zaslat SMS: Logics and models of concurrent systems /