Formal modelling and evaluation of the data transfer phase of the ACL links on the WPAN Bluetooth. - Tarik Khoutaif; Guy Juanole (ETFA, 2006)