State Modeling | part of Design of Multithreaded Software: The Entity-Life Modeling Approach | Wiley-IEEE Press books | IEEE Xplore