J Laassiri, S Elhajji, M Bouhdadi, G Orhanou… - arXiv preprint arXiv …, 2011 - arxiv.org
Distributed systems can be very large and complex. The various considerations that
influence their design can result in a substantial specification, which requires a structured …