Αποστολή με SMS: Formal Modeling: Actors, Open Systems, Biological Systems