Development of distributed software : concepts and tools - SHATZ (1993)