Formal modelling and evaluation of the data transfer phase of the ACL links on the WPAN Bluetooth | IEEE Conference Publication | IEEE Xplore