Formal Representation of Trusted Meta-requirements | IEEE Conference Publication | IEEE Xplore