Design of multithreaded software : the entity-life modeling approach - Sandén, Bo (John Wiley & Sons, 2011)