Αποστολή με SMS: Modeling and control of logical discrete event systems /