Towards an Enhanced Design Level Security: Integrating Attack Trees with Statecharts | IEEE Conference Publication | IEEE Xplore