Peter Pepper: Specification of Distributed Systems Using Modal Logics. GI Jahrestagung 1987: 110-121