An approach towards compositional behavior specification of medical device networks | IEEE Conference Publication | IEEE Xplore