Text this: Modeling of cloud system using Erlang formulas