Security-critical system development with extended use cases | IEEE Conference Publication | IEEE Xplore