6.9.1. Conditions for deadlock Notes | Embedded System BEI-NEW | TU | TABFlux