Abstract System Description Mathematical Model Analysis Conclusions