Verifying security requirements using model checking technique for UML-based requirements specification | IEEE Conference Publication | IEEE Xplore