Describe the key behaviours of the system – these are the behaviours that are the most important and/or interesting – using 2 of the following formats, and explain and justify the choice of key behaviours and the formats used to describe them. • Process specifications (using structured language, decision tables, or decision trees) • Use case descriptions • Activity diagrams • State machine diagrams including state transition tables • Sequence diagrams If more than 2 formats are provided, only the first 2 in order of appearance in the report will be marked. This includes the following elements: a) 2 specification/description/diagrams in at 2 different formats (as specified above), including explanatory notes b) Explanation and justification for the choice of key behaviours, no longer than 1 paragraph each c) Explanation and justification for the format used to describe each key behaviour, no longer than 1 paragraph each