Max E. Dingler, Diego Ortiz, Christian Dietz, Tim C. Lueth. An approach towards compositional behavior specification of medical device networks. In 2016 IEEE/SICE International Symposium on System Integration, SII 2016, Sapporo, Japan, December 13-15, 2016. pages 483-489, IEEE, 2016. [doi]
Abstract is missing.