Αποστολή με SMS: Logical modeling of biological systems /