A Beginner's Guide to the DeadLock Analysis Model