Q#$2.$ Considering the following system that is composed of two communicating processes P$1$ and P $2$ : a$)$ Derive the reachability tree. b$)$ What are the faults detected? What is the size of the communication channels needed for the implementation of the system? C$1$: FIFO Queue, P$1->$ P$2$ C$2$ : FIFO Queue, P$2->$ P$1"-$"means sending and $"+"$ means receiving P$1$ P$2$