Development of an Atomic-Broadcast Protocol Using LOTOS