<assertions>
  <assertion id="1" tag="pt:SEM">
Using semaphore to protect critical section
  </assertion>
  <assertion id="2" tag="pt:SEM">
Using semaphore to implement producer and consumer mechanism
  </assertion>
  <assertion id="3" tag="pt:SEM">
Using semaphore to implement reader and writer problem
  </assertion>
  <assertion id="4" tag="pt:SEM">
Using semaphore to implement philosopher problem
  </assertion>
  <assertion id="5" tag="pt:SEM">
Using semaphore to implement sleeping Barber problem
  </assertion>
</assertions>