Charles Pecheur: Using LOTOS for specifying the CHORUS distributed operating system kernel. Comput. Commun. 15(2): 93-102 (1992)