A methodology for systematic attack trees generation for interoperable medical devices | IEEE Conference Publication | IEEE Xplore