Specification and Verification of the PowerScaleTM Bus Arbitration Protocol: An Industrial Experiment with LOTOS. - Ghassan Chehaibar; Hubert Garavel; Laurent Mounier; Nadia Tawbi; Ferruccio Zulian (FORTE, 1996)