09:29
6. Problems on TSL - 3. Checking of Mutual Exclusion and Deadlock