Distributed systems : concepts and design /: concepts and design. ([2012])