In last week$$s tutorial we learned to decide when formalization makes sense to formulate requirements and when empirical formulations should be used instead. In this week$$s task we are going to denote all requirements in a formal manner. From the Lecture you already know different methods of formalization like metrics, State Machines $($SMs$)$ and Linear Time Temporal Logic $($LTL$).$ ware$-$Life$-$Cycle For each of the following requirements choose the most appropriate formalization technique $($metric$,$ SM$,$ LTL$),$ translate the requirement into a formally formulated statement$/$model and justify why you choose that formalization method. $1.$ The availability of the system has to be high. Group$(1995,1999).$Obwohl$$dieser$$en$$als$$zutreffend$$angesehen$$werden$.$In$2.$ The computing capacity of the scooter app backend can be increased. $3.$ A customer can either reserve or rent a scooter whereby the costumer always need to reserve the scooter first in order to rent it$.4.$ When the scooter app back$-$end receives an message it always has to end with an CRLF control character. $5.$ Once a traffic light is red, the light always becomes green eventually after being yellow for some time. $6.$ Every request to the scooter app backend will eventually lead to a response to the app client.