W. Kastner: "Proposal: Verification of a Fieldbus-Protocol"; Talk: EIB Scientific Conference, Munich, Germany; 1998-10-20; in: "EIB-Proceedings II", (1998), 61 - 71.