Temporal Logic Properties. Write down four properties in CTL that correspond to the following four statements, Le$.$ one for each statement. Note that you need to first choose appropriate atomic propositions.

a$.$ The app changes its display orientation within $3$ frame refreshes after rotating the phone by $90$ degrees.

b$.$ The flashlight turns on after pressing the home button three times. c$.$ When an alarm is set, the phone will eventually play the alarm music

$.$ d$.$ The phone goes into sleep mode if the Volume$-$Up and Volume$-$Down buttons are pressed together.