Buffer analysis with feasibility tests, Processor cpu : Buffer b1 => (P/P/1) - Maximum number of messages in the buffer : 2.00000000 (see [4,10], theorem 1 or 8). - Maximum message waiting time : 20.00000000 (see [10], theorem 8).