An actor-based Bluetooth agent for smart embedded systems modeling | IEEE Conference Publication | IEEE Xplore