Supporting Security Engineering at Design Time with Adequate Tooling | IEEE Conference Publication | IEEE Xplore