155   \cite[Section 2.3.1]{book} which specifies for a process that 

   155   \cite[Section 2.3.1]{book} which specifies for a process that 

   156   inherited a higher priority and exits a critical section ``it resumes 

   156   inherited a higher priority and exits a critical section ``it resumes 

   157   the priority it had at the point of entry into the critical section''.

   157   the priority it had at the point of entry into the critical section''.

   158   

   158   

   159   While \cite{book} and

   159   While \cite{book} and

   161   found that describe the incorrect behaviour, not all, but many

   161   found that describe the incorrect behaviour, not all, but many

   162   informal\footnote{informal as in ``found on the Web''} 

   162   informal\footnote{informal as in ``found on the Web''} 

   163   descriptions of PIP overlook the possibility that another

   163   descriptions of PIP overlook the possibility that another

   164   high-priority might wait for a low-priority process to finish.

   164   high-priority might wait for a low-priority process to finish.

   165   The advantage of formalising the

   165   The advantage of formalising the