Design of multithreaded software the entity-life modeling approach - Sanden, Bo (Wiley, 2011)