Model-based Security Engineering for Secure Systems Development | VDE Conference Publication | IEEE Xplore